Added a list of all possible cases where characteristic divides order of automorphism group (except p=2)
Explained sigma action on refined cover
Edited so that it compiles
Did a number of small todo notes, mostly adding details
Added to do note
Added group action