Hi, I don’t see how it implies # sudo . To me, “# sudo …” implies “$ sudo sudo …”, which doesn’t make sense. I don’t see how “commands that should be ran with sudo [are] prefixed with a #” implies running that sudo as root.
Also, I agree with you that this isn’t shaming of any kind :p Cheers, Aᴀʀᴏɴ
