See https://pagure.io/fedora-docs/docs-fp-o/pull-request/178
Not that I'm qualified to understand the changes, but if all of the docs sites need it then I don't see any reason not to merge it.
Pull-Request has been merged by tibbs
See https://pagure.io/fedora-docs/docs-fp-o/pull-request/178