need a category for
Misc stuff that doesn't have a dedicated page or category.
#IRC
I am active on Libera (and formerly Freenode), OFTC and Geeknode.
I am operator on several channels and take care of a few ones even though I'm not op there. I am lucky that the channels I am part of are open-minded, peaceful and tend to not attract aggressive users or trolls despite some of them being large and well-established like #ocaml. This makes it possible to have a very relaxed practice of moderation.