But it is wrong to change
documentation which may be correct (or at least not incorrect) to
reflect buggy behavior, and thus propagate that behavior.
If the "buggy behavior" stayed for years, and unlikely to change in
few days, users are entitled to know this - that is, to have it
documented.