> I was thinking of something like the HTML <acronym> tag.  In my browser,
> <acronym title="tooltip">foo</acronym> renders «foo» with a dotted underline
> whose raison d'être is your concern (a)

Even so, you can't search the page with CTRL+F and, of course, it makes the
output too different between --text and --html :)

Anyway, small issue ...


     : :'  :     Chris Lamb
     `. `'`      la...@debian.org / chris-lamb.co.uk

Reproducible-builds mailing list

Reply via email to