Proposal to Rename Renovate Bot to Mend Bot

The fairly popular Renovate bot provided by Mend is being renamed to just "Mend" shortly. The timeline for this doesn't seem set in stone but some users have raised concern that some workflows may break if you make assumptions about the name of the Github app being used.