Doc comments for `module` don't work

[mathematician]

Doc comments for module don't work:

/// ...
module {
}

doesn't produce a doc for the module (at mops.one).

[mathematician]

Example: https://mops.one/nacdb/docs/NacDB

[Ryan Vandersmith]

My understanding is that this is related to a convention in the mo-doc command for specifying file-level doc comments.

You should be able to fix this by moving the doc comments above the import section. We could also consider adding support for doc comments directly before the module, since that seems reasonably intuitive.