2 ms·We moved on to 9p.io a loooong time ago. And 9front has its own hg server and 9p server.by MisterTea 6y agoWe moved on to 9p.io a loooong time ago. And 9front has its own hg server and 9p server.