Hi Hans,

Thanks for your attention which fixed most of the difficulties with vertical distances around math formulas.
However, after typesetting a long document, I noticed that there are still some incorrect behaviours. The following minimal example, extracted from that long document, shows what is wrong: please have a look at the second formula in the attached PDF. (The output with the older version from TeXLIve 2016 is correct).

%% begin vertical-space-bug.tex
\starttext

\input knuth.tex
\startformula
a \leq a_{n+1} \leq a_{n} \leq b_{n+1} \leq b_{n} \leq b, \qquad\mbox{et}\qquad 0 \leq b_{n} - a_{n} \leq 2^{-n}(b_{0} - a_{0}).
\stopformula
\input ward.tex
\startformula
g(x_{*}) = \lim_{n\to\infty} g(a_{n}) \leq 0 \leq \lim_{n\to\infty} g(b_{n}) = g(x_{*}),
\stopformula
\input knuth.tex

\stoptext
%% end vertical-space-bug.tex