Hello, Josselin Poiret <[email protected]> writes:
> Hi, > > Looking at it, it seems that a <code> tag would be more appropriate, and > indeed it is not removed by the reader mode. I don't know who should be > informed of this though, as I am not well versed in the HTML output of > the manual building process :p Perhaps Ricardo, CC'd. -- Thanks, Maxim
