Simon, Thanks for bringing this issue to my attention. I will remove the RFC documents from the package, as I'm sure they're in doc-rfc anyway. However, before I do that, I'll ask upstream when a new release is planned, and whether they'd be willing to delete the documents from their tarballs.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]