Explain what is \mathfrak m^{sh}

Thanks to Peng DU
https://stacks.math.columbia.edu/tag/08HV#comment-4681

algebra.tex

@@ -41875,7 +41875,8 @@ \section{Henselization and strict henselization}
 The local ring map $R^{sh} \to S^{sh}$ of
 Lemma \ref{lemma-strictly-henselian-functorial} identifies $S^{sh}$
 with the strict henselization of $R^{sh} \otimes_R S$ at a prime
-lying over $\mathfrak m^{sh}$ and $\mathfrak q$.
+lying over $\mathfrak q$ and the maximal ideal
+$\mathfrak m^{sh} \subset R^{sh}$.
 \end{lemma}
 
 \begin{proof}