More rdoc tweaks.
More rdoc tweaks.

Strange that I should tweak this stuff so much when I tend not to even
use rdoc, javadoc, etc. generated docs.  It's usually easier to just
look at the source where the tags and other markup just tend to crap
things up.

tommay/pratt_parser