Thanks for the article! Clarification; it’s actually “Switch User Do” (see the man page - “sudo, sudoedit - execute a command as another user”. But the default is to execute as root.

It’s one of those micro things around User Experience. I wonder if, way back when, they’d made username a required argument (sudo root <command>) instead of defaulting to root, whether sudo would have achieved the cult status it has!