[gdulli]

This is good news right? People complain about them having bloated it with too many features. If this keeps them from making it even more of an ridiculous AI editor rather than something that complements an editor, that would be great.

[dserodio]

Absolutely! I've been complaining about this exact problem for a while: stop pushing AI features no one asked for and improve the reliability.

I just hoped they would fix the mess that are GitHub notifications: https://github.com/orgs/community/discussions/15747