[Bug c/70255] change of the order of summation of floating point numbers despite no-associative-math

[shatz at dsit dot co.il]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70255

--- Comment #22 from shatz at dsit dot co.il ---
(In reply to Jakub Jelinek from comment #21)
> It can't be changed in those manuals, ever, both 6.1 and 5.3 releases have
> already been released, their documentation, including online docs, is what
> has been released at that point.

It sucks. The software can't be changed after release, for obvious reasons, but
docs are not software. 
If it's impossible to change the policy about not fixing mistakes in docs,
then, may be, it is possible to add documentation errata?