On 6 June 2014 21:42, Hans Hagen <pragma@wxs.nl> wrote:

(also, luatex and related development already take most of our time)

Of course, as it should! That's why it's a pity I have to bother you to make these trivial changes.