Raemon comments on In favor of steelmanning