There need to be a global cleanup of the documentation build chain after having merged all the recent changes.