On Wed, Jul 08, 2020 at 03:00:10PM +0200, Pavel Sanda wrote: > - Two already known issues - fix documentation and tests, please see other mails... another one: we can't still select docbook as default output format of the document... p