My next step in handling stale PRs

[Mark J Cox]

> But recently you started to
> add various prefixes like "Automated Ping:" and now "openssl-machine:". I'd prefer if the messages
> were consistently without a prefix, because they only distract from the gist of the message IMHO,
> in particular consistency junkies like me.

openssl-machine: was just my reminder prefix to run this as
openssl-machine and not me, but it's a fair point on the automated
ping and future consistency.  People may even pay more attention if
they don't realise it was a python script hassling them.

Thanks, Mark