"Micro optimization" is an overused term.

If someone's doing some hard-to-read trickery to eek out some performance that probably doesn't matter? Sure. "micro optimization"

If someone wrote readable, more efficient code? That's just better code, not a "micro optimization".