You can read about the plans for manpages here: https://wiki.debian.org/manpages.debian.org The debmans software renders manual pages to proper HTML that looked reasonable to me. -- bye, pabs https://wiki.debian.org/PaulWise