usermanual: various additions and fixes