I think the odds are that someone else would have brought it to the attention of the public if I had not, and he would have responded then too. Honestly I was surprised that someone didn’t beat me to it, and that it drew as much notice as it did.