This says you were hoping for q2 2023. The majority of competitively played cards are still missing from mtgo and the most played card (name sticker goblin) functions with significant differences to paper. It seems like the set has been cancelled to work on other stuff. Could you give some idea of how high of a priority it is?