Today's update fixes a bug where some leaderboards would not show up in the bonus campaign.
If you see anything weird in the game, whether or not it's related to leaderboards, please send me an email ([email protected]) to let me know! It's been a while since I've updated TIS-100 and I'm always afraid that Unity is going to do something weird.