I saw a nice attribution at the end of the post. (But possibly it was added belatedly, e.g. after seeing your comment.)