The other GGG topics added since the previous digest ping, chrono sort:
Thanks for another very interesting read!