Declarative modules: do not discard doc comments on the `mod` node.