RobinZ comments on The Optimizer’s Curse and How to Beat It