fixup! #786 Adapting documentation generation