Hi folks, So I was going through the user manuals section of your website ( https://www.debian.org/doc/user-manuals) and found that none of the apt manuals display plain text options, in spite of the fact that they have hyperlinks to them. I mean, I suppose I can copy and paste the HTML pages, but still... Anyway, not sure if this was deliberate or not, so I just thought I'd mention it.
Thanks, Jake
