Porting the documentation to AsciiDoc, Markdown, reST, Typst, whatever, to make revision easier and to provide HTML version.