That requires to be added to 11/03 weekly or an hotfix before 11/10 which seems too close to get it in time.We don't even know yet when extra tokens will be delivered (that should takes about 2 days to deliver everybody if no delivery fails in progress).If Tokens' delivery is calculated on daily event participation then it will be done after event completion which means only a week (from 3rd to 10th) to investigate and send tokens.
We're looking to send tokens next Monday, but in order to avoid the festival time thing, a build would have to be performed no matter what solution is chosen. And that means it would have to happen on Tuesday, as a part of weekly maintenance.