Hi Robin, you can report bugs at https://bugzilla.redhat.com/