usermanual: some improvements