Some fixes to proof of local constancy in pullback
Fix etale typo
Fixing some typos
Replace F_q with k
Added proof of Ext^2 triviality and that the resulting diagram is of group schemes