genltl --help > /dev/full should fail
This
% genltl --u-left=1 > /dev/full
genltl: error writing to standard output
correctly report the error, but
% genltl --help >/dev/full
does not. That's a bug in ARGP, I think, but we can work around it easily.