Tweak wording of DISCARD ALL description to avoid giving the impression

that the presented list of equivalent operations is meant to be the
primary definition of what it does.  Per comment from Guillaume Smet.