doc: Various fixes to documentation infrastructure