Pavel Zaitsev comments on The optimal level of optimization is suboptimal