About 36 hours ago, I reached the threshold for the bronze tag badge for formal-languages on cs.SE (see here for the current standings). However, I have not yet been awarded the badge. Earlier posts suggest that some lag is normal, but apparently some (UTC-)overnight process should do the job, of which two should have run since then.
Somebody suggested in chat that synonyms may be the reason. And true enough, there is a synonym fl.formal-languages. As far as I can remember, that tag has never existed on cs.SE (therefore no merge); it has been created purely so that thus tagged questions migrated over from cstheory.SE are tagged nicely on cs.SE without us having to lift a finger.
I could track down four answers with 16 upvotes on questions that took this migration path; that's not quite enough to explain the effect (as I have 117 upvotes in total and received no votes today yet). But then, I can not look deeper into this; maybe somebody did tag a cs.SE-original question with the synonym?
I expect that deeper analysis of the issue (what stuff was flagged how when, exactly when did I reach the threshold, ...) needs more than mere mod powers. So, is there something to this or am I just not patient enough?
Edit: Morning of May 25th: two votes on formal-languages on the 24th, another night gone by, still no badge.