I had a few requests for this a while back: https://discord.gg/eXp2FzYfJc 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.