There's no official Discord, but if people want to share contact info and discuss things there or possibly start up their own, that should work.
