Hi Stefan, I actually have not yet received anything regarding copyright assignment in the mail, so I resubmitted the questionnaire to assign@gnu.org today. New patch attached.