usermanual: (hopefully) fixing #10175