This question resolves YES if the Commander Rules Committee officially unbans any of the mentioned cards, or resolves NO if ALL of them stay banned under the ban list of the Commander Rules Committee by March 23, 2025.
The question does not resolve YES in the case of WOTC or any other splintering of the community creating their own commander ban list.
On September 23, 2024, the Commander Rules Committee made an update to the banned list of commander which banned Dockside Extortionist, Jeweled Lotus, Mana Crypt, and Nadu.
1,000People are also trading
The CRC is ceding format control to WotC, and WotC will be creating power brackets: https://magic.wizards.com/en/news/announcements/on-the-future-of-commander
@ScottWolchok Seems like an N/A to me, CRC doesn't really exist anymore in the capacity of directly banning cards
@ScottWolchok I think I'd go with the continuation of the current list. EG if they make a cEDH list and the current banlist becomes the "casual list" and the cards are only unbanned in the cEDH list, then the question would be resolved according to the casual list. If multiple lists are created with none resembling the current one, it'll probably be resolved N/A.