nicolaspetton pushed a change to branch new-website.
at d6e6476 * admin/archive-contents.el (archive--html-header): Use
`title' for the H1.
This branch includes the following new commits:
new a0e69ee Better generated HTML pages
new d6e6476 * admin/archive-contents.el (archive--html-header): Use
`title' for the H1.
