usermanual: various updates