Many fans, light fixtures, etc. come with a self tapping 8-32 screw to connect the ground. Don, I think you might have gone a little bit overboard in your interpretation. (besides, you don't "permit" anyone to do anything other than your own work unless you're an AHJ)
