another supernit: prefer blank line before `<p>` tag. We want the Javadoc and its markup to look similar.

Which reminds me, I still gotta find a good Markdown-like-thing for Javadoc.