piety/README: revise section on Terminal