We should probably have some sort of chat for discussions, because Github issues are not great for that purpose.

I would suggest discord server if nobody has something against it.