You could open a ticket at https://pagure.io/infra-docs/issues ;)
Sent from Mailspring