DOC-BUG: -pra intro

> > > > > "Roy" == Roy Badami <roy(_at_)gnomon(_dot_)org(_dot_)uk> writes:
    Roy> (See also my separate post suggesting that we rename the
    Roy> purported responsible address so as to remove the word
    Roy> "purported")

FWIW, I've withdrawn that proposal.  I still believe the other changes
to the intro of -pra are appropriate, however.

        -roy