Hello,

I've noticed that commit 900a6f8 mistakenly reverted the change in the
manual introduced by commit 6f06e8d.