On Tuesday, 9 July 2019 at 10:06:23 UTC, Russel Winder wrote: > Excellent stuff. Thanks for putting in the effort on this, it > is well worth it. Thanks, Russel. And thanks for the suggestion of putting in previous/next links. Don't know why I didn't think of that one myself.