Fixes committed in 8.2.3 for #4580 will not be announced in the manual,
as they are not completed.