When looking at the documentation issue raised this morning, I took a peek at
the /docs HTML and found a few small things to fix as per the attached patches:
0001 - Fix markup for the definition list containing manuals
0002 - Fix links to translations
0003 - Fix mention of SGML docs
Any objections to these?
cheers ./daniel