A note on extending actions of infinitesimal group schemes

We prove that iterative derivations on projective line cannot be expanded to iterative Hasse-Schmidt derivations, in the case when the iterativity rule is given by a non-algebraic formal group.