I have a fax of the papers Eli is submitting to the FSF for these changes. > By the way, what's the copyright status of these changes? Have you > assigned your copyright interest to the FSF, so we can merge them?