gnu-web-doc-update: correct --help output