Maybe this is a weird question...
It's known that the Lie derivative of one vector field with respect to another equals their Lie bracket. The proofs in the literature rely on viewing vector fields as derivations. I haven't found a "geometric proof" (where tangent spaces are models by equivalence classes of germs of curves).
Question. Where is this fact used in differential geometry? Why is it important?
Here's an application of interest in differentiable geometry, especially to physicists: since $£_XY$ is a Killing vector for KVs $X,\,Y$, KVs form a Lie algebra under the commutator we call a Lie bracket. The KVs on an $n$-dimensional manifold are known to (i) generate spacetime symmetries and (ii) form an at most $\frac12n(n+1)$-dimensional vector space, so there's a polynomial upper bound on the number of structure constants of this Lie bracket. These characterize gravity's Lie group as a gauge theory. Interestingly, the resulting group depends on not only the dimension of the manifold, but also its geometry.