package-page.html: add the package header