This is for my own tracking, but it's trivial to get the latest release from the GitHub api, so I should be able to add an auto update check on mafia startup like the point releases were doing. I was thinking probably be best to put this behind a global property, but it would also be cool if...