Turn docs into Literate script #72
Description
The userguide page can easily get outdated. We should make it a literate script so that it gets run in CI.
{{ message }}
The userguide page can easily get outdated. We should make it a literate script so that it gets run in CI.