docs: def ReadGRRUser(self, username):
      """Reads a user object corresponding to a given name."""
      try:
        return self.users[username].Copy()
      except KeyError:
        raise db.UnknownGRRUserError(username)