Hi all, I have a question for you. Why in page http://www.debian.org/doc/user-manuals some manuals are available in several formats (HTML, plain text, PDF and PDF) and others in HTML only? TIA, Luca