I let one of mine expire a few years ago. Finally decided I wanted to try to register it again, but a squatter is now sitting on it asking for something like $10k $3.6k.
Edit: just double-checked, they lowered the price to only $3595!
i did recently go through and turn off auto renewal on a few. I still have several projects i never launched though that I’m holding out hope for… someday