Draft: Introduce new HTML protocol documentation generator
The documentation generator is a Python script using the standard library's xml module and the Jinja 2 templating engine. It should be more maintainable and customizable than the existing XSL + DocBook combo.
Signed-off-by: Simon Ser contact@emersion.fr