Comment by 6cxs2hd6

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