The variation in individual developer throughput was as much as 20x pre-AI. 10% is basically nothing. You’d be better off firing your worst performer and replacing them with someone good (or great).
Right now the market favors employers, but I think when the sobriety sets in this will rapidly change. Senior devs are gonna get more expensive. Companies should massively invest in education programs.