patchbot_de feediverse-account about to be deleted #3
Description
Currently patchbot.de post notifications to @Patchbot_de@botsin.space. As botsin.space will be retired soon, it should be replaced by an account on another server or a local implementation. If moving to another server, the server URL should be moved from PatchMastodon.php and PatchViewer.php to MastodonKey.php.example.