pushover.pl 1.2: add new option "redact_priv_msg"