usermanual: several updates