Fedora: ppc64le, release-monitoring.org and GNOME Sessions