I have updated it on the app side and ping colleagues update SOen settings. I think the associations should be live when it will be the day time in the US.
@NicolasChabanovsky this one, I mentioned in es.meta.stackoverflow.com/q/4075/83 and @Pikoh comments that now it works. And to me it does, while it did not a while ago
I noticed in my profile that one of the rarest badge I hold is for the tag gawk. Indeed, just four people got it... and no more people will be able to, since it is now a synonym of awk.
The thing here is that if then I tried to browse through gawk by clicking on this icon (that is, going to http...