[prmoustache]

I am puzzled by this comment. IRC is a protocol, it is not a software and doesn't have an UI. IRC clients do, and they aren't all the same.

[aboardRat4]

Lol. You must be from the "wayland is just a protocol" bunch.

UI(IRC) = MIN_{c \in clients : #user(c) > 100 } UI(c)

But even if you take "max" and not "min", it's still horrible.