[e-acsl:refman] keep the next release in comments

src/plugins/e-acsl/doc/refman/changes_modern.tex

@@ -151,6 +151,8 @@ in \lstinline|\\at|}
 \section{Changes in \eacsl Implementation}
 
 % Next version
+%\subsection*{Version \eacslplugincodename-\eacslpluginversion}
+
 \subsection*{Version \eacslplugincodename-\eacslpluginversion}
 \begin{itemize}
 \item \changeinsection{expressions}{mark logic function and predicate