manual: Do not mention gengetopt and help2man any more.