HTML output of @r

[Jonathan S. Shapiro]

The @r command should be honored in HTML output.   Here's a proposal: I'll sign up to fix some of this if the owner will sign up to adopt reasonable patches.