Reddit Migration

I never bought coins or whatever, but I had inherited a bunch somehow. I jumped on reddit just now to find an old thread I'd saved and found this in my inbox:

Hello from Reddit,
We’re reaching out because you have Reddit Premium and/or Reddit Coins on your account.
TL;DR: We're making updates to awards and coins on Reddit that we'll complete by September 12, 2023. As part of this, we made a decision to move away from Reddit coins and awards. This includes the 700 monthly coins* and Premium Awards, which are currently part of the Reddit Premium experience.
You'll still be able to use your Reddit Coins until September 12, after which they'll be removed from your account.
Note: all other current Premium perks will still continue to exist, including the ad-free experience.
As we looked at our current awarding system, there was consistent feedback from redditors that stood out – particularly around the clutter from awards and all the steps involved with awarding content. We also learned that redditors want awarded content to be more valuable. With that, we are reworking how great content and contributions are rewarded on Reddit. We will have more updates to share soon.
If you have further questions please check out our announcement post to read more about the update.

• This perk is part of the paid Reddit Premium experience.

Thought it was kind of funny considering I never once cared about coins in the first place. Just checked and apparently I have "13325 coins to spend." I'm just going to let them go unless someone has a more maliciously compliant suggestion.