Viliam comments on The optimal level of optimization is suboptimal