Switching Fedora Docs to Antora — last weekend of July