Many thanks. This needs of course to be removed.
The current manual is in big parts still the Blender manual. I’ve gone through it before to remove all hotkeys and to fix the most obvious parts. But some things always slips through.
This reminds me to go on with the manual rewrite. There is work in the scope of manyears waiting …