Ah, that makes more sense. Yes, Labels is the right term. Those are a leftover from before tagging was officially implemented in the filesystem by Apple – as far as I know they’re basically just like any other tags now under the hood, hence my confusion. I thought you meant this flag:
