If it’s a small edit to a single file VScode is often quicker, but if it’s actually working with or developing changes in a larger codebase I find that a well integrated IDE instead of a more basic editor with plugins works better

It’s weird, but I quite often sit on calls watching people who use VSCode taking 2-3 times as long to accomplish the same outcome as I can in my Jetbrains IDE. Either they don’t have the plugin installed rn, or it’s not working atm, or they have too many and it’s gotten slow, etc.

Then write your own guide, show them wrong?

Preferably the latter, nobody should really be using SHA1 for anything security focused and new