Is there a tic-80 discord server? If no, then what about making one? It will help the community grow in an easier way to communicate etc 馃榾