add Fedora info to manual