Know of a good IRCv3 client for Linux/Web/Android? And what are some good v3 servers these days, besides Libera?