This patch for www.gnu.org updates its contents to be identical to
those on sourceware.org (except for the "last modified" dates).