Too bad that when people actually tried to measure this, turned out developers were actually slower.