Documentation changed to
reflect the actual behavior of the code for the past 10 years.  Current behavior
was established in 2009 by check-in
[33cf83591e6e1387] but the
documentation was 8 years later in 2017 at


Changing the code to match the documentation risk breaking programs that
are already in the field.  Hence, it is better to change the documentation
to match the code.