Let $S$ be a quasi-projective scheme over base field $k$ and $X, Y$ two finite étale schemes over $S$ and assume we are in situation we know that the isom space $\operatorname{Isom}_S(X,Y)$ exists as an $S$-scheme.

**Concern:** I'm wondering under which "reasonable/ natural" (= not too exotic) conditions this isom scheme  $\operatorname{Isom}_S(X,Y)$ is étale over $S$.

The motivation is coined by the comments below [Daniel Litt's answer][1] to https://mathoverflow.net/q/190530, where the focus lay on étaleness of $\operatorname{Isom}_{\mathbb{G}_m}(E[\ell], (\mathbb{Z}/\ell\mathbb{Z})^2)$ where the $\ell$ torsion $E[\ell]$ of an elliptic curve $E/\mathbb{G}_m$ is assumed to be étale over $
\mathbb{G}_m$.

And this encourages my curiosity firstly to check which techniques are involved in the last statement's proof and how far it can be generalized. I.e., is it something special for torsion groups of elliptic curves, or broader that the involved objects are group schemes or the rationality of the considered base $\mathbb{G}_m$?  
Or can the étaleness of isom scheme above be broadly (how far?) generalized dropping probably some of the  properties enumerated in the previous sentence the concrete objects in the linked thread share?

  [1]: https://mathoverflow.net/a/190538/108274