I looked at your pull request, and it looks good. Thanks! I agree, however, that we need to take a closer look at the Encoding changes and make sure that we have tests for all of the cases. I’m not sure that we have sufficient coverage, but we can find out.
We can release 3.3.3 with your patch as soon as this is done (no need for a long waiting period since the changes are all very minor.)
Do you play Magic?
Get TopDecked MTG, the #1 Magic App, built by players, for players. Free to use, forever.