Hi Rick,

Rick Frankel <[email protected]> writes:

> I would be willing to make this change (as an option?) to the html
> exporter if others agree.

FWIW I do agree this is a good change.

-- 
 Bastien

Reply via email to