Comment #⁨5⁩

This makes it really hard to parse long supertags. In my opinion, grouping by tags is the best way to do this, but most have multiple tags. It's also confusing which one it would show up for (appears to be the first only).