Forgot to remove the @page specific css statements from the base.css, although this has now been factored out into a separate file.
The cover page is now also generated from the template.py, collecting the editors of the individual documents. The editors’ list is sorted alphanumerically; in some cases, manual intervention is necessary to set the final order…