Thanks! Quite similar to the Kesselman tags that @gwern uses (reproduced in this comment below), and I’d guess that one is decended from the other. Although it has somewhat different range cutoffs for each because why should anything ever be consistent.
Here are the UK ones in question (for ease of comparison):
Thanks! Quite similar to the Kesselman tags that @gwern uses (reproduced in this comment below), and I’d guess that one is decended from the other. Although it has somewhat different range cutoffs for each because why should anything ever be consistent.
Here are the UK ones in question (for ease of comparison):