Started fixing Frobenius thoughout the paper. Not finished.

Various instances of Frob are screwed up, typographically, in the paper
now. I'll come back to working on them this afternoon and tomorrow.