usermanual: fix for #10107
usermanual: fix for #10081
usermanual: fix for #10080