MindTouch tells me they’ve updated the MediaWiki converter tool to import the tags properly, and will start a conversion run this evening. So hopefully sometime tomorrow we’ll receive the new conversion. Then I’ll install that and we’ll give things a look to see if the new tag import looks good.
Assuming it does, we’re good to go with the next step in the relaunch process!
This import will have some quirks in that I’m not planning to do any of the hand-tuning that will need to be done for the real import. It’s a quick and dirty job just to make sure the updated tag importing works.