usermanual: some additions