On Monday, 5 June 2017 at 17:54:05 UTC, Jon Degenhardt wrote:
Very nice post!
Thanks! If it gets half as many page views as yours did, I'll be happy. Yours is the most-viewed post on the blog -- over 1000 views more than #2 (my GC post), and 5,000 more than #3 (A New Import Idiom).