Modules without docs don't need both a synopsis and a documentation section

[dwaern]

The synopsis generated for a module with no docs should not attempt to link to the doc for each entity. We need a different kind of summary here: what we really want is just the documentation section but without the extra whitespace between decls.