Tools for redactors
Index entries by number
Missing terms
Dictionary in HTML with specific CSS for paper printing
Prince format could be used with software like Prince XML to generate a PDF file. Sigil format could be used with Sigil (or equivalent) to produce an EPUB file. For a classical HTML version, use the generator accessible through the main menu.