services/IRC.md
... ...
@@ -1,12 +1,10 @@
1 1
# IRC
2
-> TLDR: irc.hackint.dn42, #dn42
2
+> TL;DR irc.hackint.dn42, #dn42
3 3
4 4
The main and largest IRC chatroom for dn42 is #dn42 on the [hackint](https://www.hackint.org) network.
5 5
6 6
Other channels are ##dn42 on Hackint, and #dn42 on Libera.
7 7
8
-There are also other IRC networks which can be accessed within dn42.
9
-
10 8
# Hackint
11 9
12 10
It is reachable from within DN42, ChaosVPN and the public internet. A connection is only possible via TLS on port 6697.