<p>The slightly subtle notion of covariant Lie derivatives of <i>bundle-valued</i> differential forms is crucial in many applications in physics, notably in the computation of conserved currents in gauge theories, and yet, the literature on the topic has remained fragmentary. This note provides a complete and concise mathematical account of covariant Lie derivatives on a spacetime (super-)manifold <i>M</i>,&#xa0; defined via choices of lifts of spacetime vector fields to principal <i>G</i>-bundles over it, or equivalently, choices of covariantization correction terms on spacetime. As an application in the context of (super-)gravity, two important examples of covariant Lie derivatives are presented in detail, which have not appeared in unison and direct comparison: <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbf {(i)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">i</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the natural covariant Lie derivative relating (super-)diffeomorphism invariance to local translational (super-)symmetry and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbf {(ii)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">ii</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the Kosmann Lie derivative relevant to the description of isometries of (super-)gravity backgrounds. Finally, we use the latter to rigorously justify the usage of the traditional (non-covariant) Lie derivative on coframes and associated fields in dimensional reduction scenarios along abelian <i>G</i>-fibers, an issue which has thus far remained open for topologically non-trivial spacetimes.</p>