2017-01-04 17:08 GMT+01:00 Mosè Giordano <mose@gnu.org>:
> Hi Tassilo,
>
> while trying to reproduce the problem reported by Gennady (I can
> confirm it), I noticed another glitch.  Now the baseline of the script
> is slightly above (below) of "^" ("_"), see the attached screenshot
> (left: as it was before, right: as it is now).

Of course the attachment was not there :-)