Late reply. It was your comment that had been downvoted into the negative when I came across it. So I was engaging in a kind of off-topic defense of your comment. ;-)