It's the kind of thing we nerds care about most.