usermanual: improvements thanks to Michel Leblond (feature request #10004):x