Re: sudoers documentation bug?

[Todd C. Miller]

It is far too late in the game to change this behavior as you will
break people's working sudoers files.

 - todd