good: never felt something was missing from the built-in plugins; better git history and easier file compare between branches; better support for older tools (enzyme, chai, mocha)
bad: I think a little bit slower than vscode and more resources consumption; have to manually disable unused plugins

Have you seen this react.dev/learn/you-mi... ?

what is lean's use case?

what are the next stuff you are interested in learning?