Preamble_examples.Nonhidden_module
This is the top comment declared in the module Hidden__module2.
This is the second paragraph in the module Hidden__module2.