Diffeomorphism groups of prime 3-manifolds

Let $X$ be a compact orientable non-Haken 3-manifold modeled on the Thurston geometry $\text{Nil}$. We show that the diffeomorphism group $\text{Diff}(X)$ deformation retracts to the isometry group $\text{Isom}(X)$. Combining this with earlier work by many authors, this completes the determination the homotopy type of $\text{Diff}(X)$ for any compact, orientable, prime 3-manifold $X$.