Is there, or has there been any consideration of a (official or semi official) IRC channel for this community? Or, dare I say, a discord server (Which despite my 20 years on IRC I have grown to seriously like discord in its favor)
The community we have here is certainly an impressive one, relative to other up and coming projects, but you just can’t beat the real time back and forth something like IRC gets you. Or the trolls. Gotta love the trolls.
Neither idea actually requires any community contributions to make it happen, simply a collective will and a small bit of advertisement to make it known. But if it were to help, I would be happy to become the community mascott.