We could relatively easily dig up a half-decent irc client for Android, but not worth the bother. If anyone needs to get hold of us, they can pm. Setting up password and such isn’t worth the work.