I'm sorry, but although I understand your point, I find myself in disagreement with the resolution you suggest.
The document in question is in a human-readable format. It may be a pain to edit, but it is not impossible, and it is certainly not illegal! I do not see any practical benefit of removing helpful documentation just because some old markup, simple enough to recreate, has gone AWOL. --Barak. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org