usermanual: a few updates