I would like to apply the attached patch to Gnulib in order to improve
how gnu-web-doc-update works.