> Or, gee, you could even consider using sources.redhat.com. I didn't want to post them on sources.redhat.com because I wasn't sure of the copyright situation on all of the documents, so I didn't want to expose RedHat to any potential copyright violations. I figured I would take that risk myself :) Harold