Settings labels missing at admin/badges

[j.jaffeux (Joffrey Jaffeux)]

Yes but it’s due to a more recent change which was not directly impacting this form, but apparently there’s a side effect, will look today.