Good for you. As a dev you almost always download the codebase to your own computer or servers to work on editing it, so I don't know what these prove. It's also only half the part of a proof which is about comparing 2 pieces of code.