Are you out there Paul? Anyone else know how to contact Paul?
https://bugzilla.redhat.com/237286 has been open for many months without any comment. I pinged and attached a potential fix for it when I ran into it last month. I sent a private email 2 weeks ago asking for comment on the bug. No reply as of yet.