[Serusers] "> /dev/stderr" versus ">&2"