usermanual: a few further fixes for #10175