FInished another pass through the section on piXK. I don't like it yet.

Moving on the the `reinterpretation in terms of component groups' now.