The Sad Tragedy of Micro-Optimization Theater