Originally Posted by Matt B.
Doesn't seem like a rules violation to me, and it's definitely a little nit-picky, but it was nice of you to do it without comment. I always wonder if the distraction and possible group dynamic shifts from such a request don't become a bigger distraction than the original distraction.
So true. Some things are just better unmentioned.