Maybe the devs now can work fewer hours since they more productive per hour. Otherwise you're suggesting that these senior devs are using a tool which provides

Maybe the devs now can work fewer hours since they more productive per hour. Otherwise you're suggesting that these senior devs are using a tool which provides no value whatsoever which seems unlikely.