sudo comments on sudo’s Shortform