Joar Skalse comments on Two senses of “optimizer”