HLIRCnet now has it's own domain: hlirc.net
Fancy, right? :)

The old round robin domain will continue working until the TLS certificate
expires (23/09/2020).

The new round robin is: irc.hlirc.net