Email from Kovacs of 23/02/2018.

Lemma 15.100.2. Let $I$ be an ideal of a Noetherian ring $A$. Let $K \in D(A)$ be pseudo-coherent. Set $K_ n = K \otimes _ A^\mathbf {L} A/I^ n$. Then for all $i \in \mathbf{Z}$ the system $H^ i(K_ n)$ satisfies Mittag-Leffler and $\mathop{\mathrm{lim}}\nolimits H^ i(K)/I^ nH^ i(K)$ is equal to $\mathop{\mathrm{lim}}\nolimits H^ i(K_ n)$.

Proof. We may represent $K$ by a bounded above complex $P^\bullet$ of finite free $A$-modules. Then $K_ n$ is represented by $P^\bullet /I^ nP^\bullet$. Hence the Mittag-Leffler property by Lemma 15.100.1. The final statement follows then from Lemma 15.97.6. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).