Chris Gray wrote:
> I actually needed this yesterday, so I'll make a patch and try to send
> it in the next couple of days.

Here is the patch for the LaTeX exporter.  I'm not much of an HTML
person, so I don't know if arguments would be useful there.

Cheers,
Chris