On Fri, May 16, 2025, at 07:39, Brian E Carpenter wrote: >> /doc/html/... >> >> has an _option_ you control with settings to either show you the >> htmlized text, or, if the v3 html is available, show you _that_ with a >> different style sheet that makes it look (mostly) like the htmlized >> text. SVG is an exception - if you select to look at the htmlized text >> instead of the restyled html, you aren't going to see the SVG. > > I had no idea that option existed. (And I can't imagine any circumstances > in which I'd use it.)
I do agree that HTML is superior, when we have it. I've been considering adding an option to that, whereby the HTML on the left is not rendered in "pseudo-text" (that "quaintness" is my work, but if you want someone to blame, Lars put it there) but is rendered in more typical HTML. Would you use that option? _______________________________________________ rfc-interest mailing list -- [email protected] To unsubscribe send an email to [email protected]
