  Anick proved that every q-mild Hopf algebra up to homotopy is isomorphic to a
primitively-generated chain Hopf algebra. We provide a new proof, that involves
extensive use of the Bockstein spectral sequence.
