> "sudo" is a way to run a command as a different user, which may or may not be root depending on policy. Correct. Letting a normal user run commands as root

> "sudo" is a way to run a command as a different user, which may or may not be root depending on policy. Correct. Letting a normal user run commands as root is the most common use-case for sudo, which is why it was mentioned as an example earlier. The bug does not trigger in this common setup, only in a quite unusual one mentioned later. Perhaps that should have been said explicitly.