chore: Replace Freenode mentions with HackInt

This doesn't replace all of them in the repo, but at least the ones
that are relevant to our move.

Change-Id: I842e7594b4c16af30d880272417874f6b29afd22
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3134
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>
Reviewed-by: grfn <grfn@gws.fyi>

README.md

@@ -102,7 +102,10 @@ If you'd like to contribute to any of the tools in here, please check out the
 [contribution guidelines](./docs/CONTRIBUTING.md) and our [code of
 conduct](./docs/CODE_OF_CONDUCT.md).
 
-IRC users can find us in `##tvl-dev` on Freenode.
+IRC users can find us in [`#tvl`](tvl-irc) on [HackInt][], which is also
+reachable [via XMPP][hackint-xmpp] at [`#tvl@irc.hackint.org`][tvl-xmpp] (sic!).
+
+HackInt also provide a [web chat][tvl-webchat].
 
 [monorepo]: https://en.wikipedia.org/wiki/Monorepo
 [tvl]: https://tvl.fyi
@@ -111,3 +114,8 @@ IRC users can find us in `##tvl-dev` on Freenode.
 [panettone]: https://cs.tvl.fyi/depot@canon/-/tree/web/panettone
 [tvix]: https://cs.tvl.fyi/depot/-/blob/third_party/nix/README.md
 [dottime]: https://dotti.me
+[tvl-irc]: ircs://irc.hackint.org:6697/#tvl
+[HackInt]: https://hackint.org/
+[hackint-xmpp]: https://hackint.org/transport/xmpp
+[tvl-xmpp]: xmpp:#tvl@irc.hackint.org?join
+[tvl-webchat]: https://webirc.hackint.org/#ircs://irc.hackint.org/#tvl

fun/clbot/clbot.go

@@ -28,12 +28,12 @@ var (
 	gerritAuthUsername = flag.String("gerrit_ssh_auth_username", "", "Gerrit SSH username")
 	gerritAuthKeyPath  = flag.String("gerrit_ssh_auth_key", "", "Gerrit SSH private key path")
 
-	ircServer    = flag.String("irc_server", "chat.freenode.net:7000", "IRC server to connect to")
+	ircServer    = flag.String("irc_server", "irc.hackint.org:6697", "IRC server to connect to")
 	ircTls       = flag.Bool("irc_tls", false, "Does the server connection need TLS?")
 	ircNick      = flag.String("irc_nick", "clbot", "Nick to use when connecting to IRC")
 	ircUser      = flag.String("irc_user", "clbot", "User string to use for IRC")
 	ircName      = flag.String("irc_name", "clbot", "Name string to use for IRC")
-	ircChannel   = flag.String("irc_channel", "##tvl", "Channel to send messages to")
+	ircChannel   = flag.String("irc_channel", "#tvl", "Channel to send messages to")
 	ircPassword  = flag.String("irc_pass", "", "Password to use for IRC")
 	ircSendLimit = flag.Duration("irc_send_limit", 100*time.Millisecond, "Delay between messages")
 	ircSendBurst = flag.Int("irc_send_burst", 10, "Number of messages which can be sent in a burst")

ops/modules/www/tvl.fyi.nix

@@ -19,7 +19,8 @@
 
         rewrite ^/monorepo-doc/?$ https://docs.google.com/document/d/1nnyByXcH0F6GOmEezNOUa2RFelpeRpDToBLYD_CtjWE/edit?usp=sharing last;
 
-        rewrite ^/irc/?$ ircs://chat.freenode.net:6697/##tvl last;
+        rewrite ^/irc/?$ ircs://irc.hackint.org:6697/#tvl last;
+        rewrite ^/webchat/?$ https://webirc.hackint.org/#ircs://irc.hackint.org/#tvl last;
 
         location ~* \.(webp|woff2)$ {
           add_header Cache-Control "public, max-age=31536000";

users/grfn/gws.fyi/index.org

@@ -34,5 +34,5 @@ databases please reach out
 - [[mailto:web@gws.fyi][web@gws.fyi]]
 - [[https://twitter.com/glittershark1][twitter]]
 - https://keybase.io/glittershark
-- grfn on freenode
+- grfn on IRC (hackint, libera.chat, freenode)
 - [[http://keys.gnupg.net/pks/lookup?op=get&search=0x44EF5B5E861C09A7][gpg key: 0F11A989879E8BBBFDC1E23644EF5B5E861C09A7]]

users/tazjin/emacs/config/desktop.el

@@ -99,7 +99,7 @@
     ;; Quassel buffers
     ;;
     ;; These have a title format that looks like:
-    ;; "Quassel IRC - ##tvl (Freenode) — Quassel IRC"
+    ;; "Quassel IRC - #tvl (HackInt) — Quassel IRC"
     (`("quassel" ,title)
      (progn
        (if (string-match