Pieter, I always really appreciate the conversation here. It was a pleasure to have the back-and-forth with you on HN. Your username is one of the few that I

Pieter, I always really appreciate the conversation here. It was a pleasure to have the back-and-forth with you on HN. Your username is one of the few that I routinely recognize and it will definitely be missed.