Unfortunately Nova didn't work on a large project for me with a lot of generated type definitions. It was a gigantic mobx project and that would make Nova really really slow to the point of being unusable. Somehow VSCode could still work with that.
I don't have anything bad to say about Nova, except that I personally didn't find it to be a great Python environment. Maybe it's brilliant for other languages? I hope so, because it's really pleasant and I'd like to see it succeed!
Compare that to VSCode, where there is a whole API [1] for formatting extensions!
[0]: https://github.com/ReagentX/Nova-autopep8
[1]: https://code.visualstudio.com/blogs/2016/11/15/formatters-be...