Hi. Following the original Aztec discord server now archived for Noir related queries, is it ok if I or one of us creates a new one?
Many of us are more comfortable in an informal environment like discord, and might benefit from such a server. Do let me know. Thanks!