@sid The community gradually dissolved years ago after Discord became the preferred choice, and keeping the server up has been draining on my funds, which are presently dire enough that I had to sell some old hardware to make rent
I might start a private server on my home network and have that continue in spirit, but this network's time had come a long time ago, I just pulled the plug finally
@elfi oh, I see. Thanks for sharing :)