Turns out that the productivity gain came from the fact that they wrote less code. Call me cynical.