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

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

The motivation is coined by [these explanations][1] in the comments below the answer, where the focus lied on etaleness of $\text{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 etale 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. Ie 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 etaleness of isom scheme above broadly (how far?) generalized dropping probably some of the  properties enumerated in previous sentence the concrete objects in the linked thread share?

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