This happens everyday. Nothing new. Hundreds of high value domains expire every week. Some can be worth six figures or more.

Everyone competes to “catch it” but usually, the registrar gets it and auctions it off.