Added more documentation; minor related changes

Clarified what has to be changed to personalize. Generalized github
user name. Documented that there are two primary choices in the
StopProcessingIf processor.