* Ben Cotton:
On Fri, Apr 3, 2020 at 12:16 PM Florian Weimer fweimer@redhat.com wrote:
What can I do to fix this?
Good question! We had this problem before and didn't come to a good resolution. I reopened the infra ticket[1] and I'm going to leave the page alone for now so they can investigate it. But I will check it and send the email announcements shortly. Please don't edit the page until the infra team has a chance to look into it.
It turns out this instance was an unterminated <!-- comment. After fixing that, the category appeared. 8-/
Thanks, Florian