Manfred comments on Thoughts and problems with Eliezer’s measure of optimization power