FSF changes to this file are in the public domain.