Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »
© Red Hat, Inc. and others.
This is an improvement over my first attempt (I canceled the previous pull request). It turns out that the added content can be placed in the HTML_HEADER variable as long as the variable contains only one top-level element ("<div>whatever</div>" is OK but "<div>whatever</div><table>whatever else</table>" is not).