Hi,
The attached patch had a slight bug. Also turned out that the CI environmentdidn't have pandoc installed. Fixed that.
Greetings,
Andres Freund