We are all very thankful to our (mostly) volunteer Ops Team for keeping https://OpenStreetMap.org working. It's an incredibly popular site, that Just Works. They are doing phenomenal work. 👏 👏