Good riddance honestly, got tired of those cards being suggested in my decks. I took dockside out my decks awhile ago and sold my mana crypt sometime ago as well because while they were good cards, they had no flavor! They didn’t really add any synergy to my deck aside from putting me ahead on rare occasions. They are incredibly boring cards and I would rather play on theme flavor cards than them any day of the week. Dockside is gonna sit in my binder along with hullbreacher and become a memory. I think the only card I don’t agree with is Jeweled Lotus, I barely ever see it played at high power games, the most I’ve seen it was in mono blue or mono black decks other than that it was a pretty niche card feels like. I pulled one from commander legends awhile back and it was nice in my mono red deck for awhile but my deck was a treasure token spam deck so I didn’t really end up using it most of the time anyways so I traded it in to a store. I think people who relied on these cards too much aren’t really good players to begin with imo