Thread:Support/The Collection extension not listed under “Extensions used by Wikimedia”

It seems to me (again ;-)) the Collection extension, used on a lot of Wikimedia sites, is not categorized under the “Extensions used by Wikimedia” meta message group. I am a bit puzzled about how it works/should work, since it seems to me the idea was to split the extension messages into  and , aggregated under  . But none of this seems to work, and the whole Collection extension is just a plain old group  . Dunno; it possibly broke during the PHP→JSON switch.