call discard a pseudo-rule in the docs
Merge pull request #126 from rns/discard_pseudo_rule

call discard a pseudo-rule in the docs
Thanks! -- jeffrey