Documentation generation tweaks