Module comments
Makes a doc string more presentable to users. Used by rustdoc and perhaps other tools, but not by rustc.