This is the only argument I actually buy. That said, it should be totally doable to make the /leaderboard
bot integrate with peacock's
leaderboards. Peacock already allows downloading and playing contracts directly provided by f7sc on official epic and steam servers
through hitmaps' api.
It should be very easy to verify a major service outage by simply attempting to connect to the server with any other player's or admin's game copy; this is a non-issue IMO.