I must have missed the second version; at least I do not recall seeing it. I had to write a commit log, since it was a git diff and not a git format-patch (hint, hint ☺), but it is pushed as f3a553a4e4a5. -JimC -- James Cloos <cloos at jhcloos.com> OpenPGP: 1024D/ED7DAEA6