I was told that Red Hat has a blanket agreement with the FSF for copyright assignment. Whatever I did for this module, I did during work hours, so copyright belongs to Red Hat. I think that is also true for Dan (cc'd him so he can confirm that explicitly)
Can somebody from the FSF confirm that ? Well, I'm not from the FSF, but I can confirm it anyway, since that is exactly what I just asked the copyright-clerk :). As long as the work was done as an employee rather than on your own time, RH's global assignment covers you and no separate papers are necessary. Thanks.