On Thursday, 28 February 2019 at 12:24:27 UTC, Mike Parker wrote: > ... Interesting read, thx Mike and Sebastiaan. [And I appreciate the many cross-links.]