Is this done generically for all p? If so that's quite exciting, it's the
first work of that kind that I have seen.

Yes, the main part of this library is `generic' for all primes p.
There are a few small primes p for which we had to add some extra
`non-generic' descriptions of groups.

Best wishes, Bettina