Text this: On Gromov's theorem and L 2-Hodge decomposition