It is documented in a dedicated section:
https://docs.pagure.org/pagure/usage/theming.html but we should refer to it in
the main configuration page indeed.

Won't steal this for now, but @pingou you mind if i get this one done?

@pingou https://pagure.io/pagure/pull-request/4172

Won't steal this for now, but @pingou you mind if i get this one done?

Most often I don't but all the issues I've assigned to me in the 5.3 milestones I actually have/had the fixes ready for them. Since they are for the 5.3 milestones I was just waiting on 5.2 to be released before opening the corresponding PR (see the PR list right now :)). So I had a fix ready for this one as well: https://pagure.io/pagure/pull-request/4176

I'll see to merge both commits into your PR and keep #4176 for the second commit I've made.

Commit 2db90110 fixes this issue