The migration has now happened – they posted to the thread on 17 Nov to say so, and I’ve just noticed the html-classic.itch.zone domain for the first time while employing my usual cookie workaround.
(So it’s too late to use @CrocMiam’s fine tool to export old save data, as it will tell you itself.)