verify: add doc to gnulib manual and fix example