Seems you never found Mango IRC on iOS

I didn’t, indeed. But I just looked and didn’t quite like the design, so it doesn’t seem to be what I’m looking for.

Still, better than Goguma for iOS as far as design goes. I wonder how the features compare through, as Goguma is the gold standard, akin to Conversations for XMPP.