more user manual updates (#57)