More tweaks to documentation workflow.