17 May
2023
17 May
'23
2:41 p.m.
I had a few requests for this a while back:
It is a shell at the moment. If people find it useful, feel free to use it. I hang around on a few discord servers. For developer discussions, this mailing list should continue to be the main source of information.
Regards, Mark.