Moved some material on (finite field) base change from base change.tex to shanghai.tex. Also, finished the proof of the proposition on connected commutative algebraic groups.