The manager solved the wrong problem. People should be sharing their tricks with each other. This was a perfect time to set up some peer-to-peer training.

Or in the age of AI, "have you asked Claude to explain what the code does so you can learn something?"