I'm unsure why your old 6k tokens weren't zeroed out or converted - that tends to be how older holiday events handled their currencies at event end (and, from my understanding, what the code is supposed to do). EDIT: Read your comment on why you have these - yeah, that's an odd outlier case; perhaps this can be considered next Halloween...but no promises.)
One of the changes with these new holiday hubs has been to create dedicated seasonal tokens (with soft caps), precisely so they can be carried forward from year to year (with longer-term considerations around legacy shops, token emission rates and balancing going beyond a single year, so we don't have to keep reinventing the wheel).
(H'oddments will regain use again very soon.)