Some IRC networks have multiple DNS names for various reasons including resilience.
It'd be great if circ allowed me to join an IRC network via one DNS name, with auto-fallback to another DNS name in case the primary DNS name failed.
irssi supports this via the -network flag on https://irssi.org/documentation/help/server/ .
weechat supports this, e.g. /server add chatspike irc.chatspike.net/6667,irc.duckspike.net/6667