Just wanted to give a shoutout to my hobby app, a social scorekeeper and ranker for pinball players, Pindigo. It’s free; there are over 11k users posting scores. It also has locations, user groups, and leaderboards. https://www.pindigo.app