On May 1, 2012, at 10:06 PM, Ryan Schmidt wrote: > Does the user really need to be told this? What should the user do with this information? OK, Ryan, I see your point. I'll remove the message and change it into a simple comment.