Well, in an unexpected turn of events, I was able to get ahold of Marc Gminder directly and he's given us permission to keep these files. I've asked for clarification on the scope of this permission (e.g. license) so that we can inform the various Linux distributions of this.