Text this: Hopf algebras and skew PBW extensions