Nova is by far the best IDE I’ve used, but I feel that the community is very hidden, and this makes it very difficult to create new extensions, themes, etc. I think one way they can improve on this is to do the same thing they did with Playdate, create an official server on Discord, and share it on Twitter, on Nova’s home page, etc.
Absolutely, Nova is great and deserves better, open community! Even this forum feels hidden for devs. Almost nothing going on here