Another useful disclaimer: all of these lets the developers push updates to your computer as they wish by default in most setups, these days you might want to decrease that kind of attack surface and just check the status in the official website when "git push" suddenly stop working. Especially when extensions and stuff sometimes changes hand and it's kind of hard to keep track of it, except for when something bad happens and gets news attention.
I'm also not sure why you'd share links to software you don't even recommend yourself? Isn't it better to just not share that then? I think others could use search engine/LLM too if they need whatever, but most generally expect things shared in the comments here to actually at least have been looked at by the person sharing them.
Well, the alternatives are:
> It would be really cool if someone built an extension to show GitHub status live
"These already exist, why wouldn't you search before posting?"
> There exist quite a few extensions to show live GitHub status
"Why would you not post them if you know they exist?"
Or, what actually happened:
> Here are some extensions that might work for you to show live GitHub status
"Why would you recommend extensions to do this?"
Seems to me like, if your goal is to pick apart someone suggesting something, you'll find a way to.