Normal forms for contracting dynamics, revisited

We revisit the theory of normal forms for non-uniformly contracting dynamics. We collect a number of lemmas and reformulations of the standard theory that will be used in other projects.