I'm not so sure. No changes made to the github source recently. I think the sites are kept in the data file (/data/sites) and Tim hasn't refreshed it on github
@NormalHuman Alas, the API doesn't provide any convenient shortcuts for translating the badge names. UNLESS, the badge numbers are constant across sites??? See api.stackexchange.com/docs/…
Looks like the badges pages HTML source can be used for a Q&D translate. Names are in native language but links have badge number and English keywords.
@ProgramFOX There is, and we still track this on Metasmoke. The commands are separate because they do different things. Fp is a definite false positive. Ignore is neither spam nor something we want to ignore in general -- Just ignore in that one specific case.