doc: users.txt: GNU patch now uses gnulib