i do not have time or energy to manage a discord server at the moment, but folks are welcome to make their own if they want
