Bugmaster comments on Steelmanning Inefficiency