Thanks.   I adopted a very slightly different approach, see
https://savannah.gnu.org/bugs/index.php?31424

The updated code is already pushed.

James.

Reply via email to