Text this: Galois theory, Hopf algebras, and semiabelian categories