I did, and it was not there before when I posted my comment. He must have updated it when he read my post. See the date of the last update.