(This is a duplicate message to the maintainer; because I suspect that a
 previous direct follow-up of mine to him has gone to spam)

--