technicalities comments on Don’t Over-Optimize Things