I thought this was an interesting example to add. It concerns a "ratio model" of habit (as opposed to a "difference" model of habit). See, for example, Abel (1990, American Economic Review). Let
$$
x_t = \lambda \int_{-\infty}^t e^{-\lambda(t-s)} c_s ds.
$$
(For context, $x_t$ is a log habit index that is given by a geometric average of past consumption, where $c_t$ is log consumption.)
Then by Ito's formula,
\begin{align}
d x_t &= \lambda \int_{-\infty}^t -\lambda e^{-\lambda(t-s)} c_s ds \, dt + \lambda c_t dt \\
&= \lambda (c_t - x_t) dt.
\end{align}
The part that is interesting to me is the that it easy to err in thinking that the answer is $dx_t = \lambda c_t dt$ or $d x_t = -\lambda x_t dt$.
EDIT: Here, $c_s$ is some well-behaved stochastic process. This is essentially the same as 9-1 (a) above when $dc_t = dW_t$, where $W$ is a Brownian motion. This kind of calculation seems to show up somewhat frequently (Hull-White interest rate model), but doesn't seem to directly use Ito's lemma.