[Fedora-packaging] Doubt about the name for a package mkdocs