On 11/14/22 03:49, Martin Liška wrote: > I'm going to revert the patchset during today (Monday) and I'll send a patch > with a couple > of new changes that landed in the period of time we used Sphinx.
The revert is done and I included ce51e8439a491910348a1c5aea43b55f000ba8ac commit that ports all the new documentation bits to Texinfo. Web pages content will be updated with Jakub in the afternoon. Martin
