The patch did not compile as expected. I've been bogged down with other packages. However I expect to have another go next week and look at fixing the compilation errors. I find it hard to feel in a hurry as I am in doubt whether the patch will be accepted in the end anyway.