Which docs are the official, maintained ones? The HTML or the .texi? I converted most of the game .texi into a clean Word format, with a TOC. Erik