Using the SVG-based "Tux Paint" title text at the top of HTML docs
(replacing ancient, totally-mouse-drawn one from 2002).
Also, while I was in there, added big "out of date" notices,
with links to English documentation, in outdated translated ones.
Stop using old `lynx`; use `links`, and use UTF-8 codepage for
output (for Russian, Chinese, etc. to still work right).
Regenerate all TXT versions of docs available in HTML.
