Given that Peter’s was the only other reply, and that it was positive, (and given that I have a keyboard with such a key ☺) I’ve pushed this. -JimC -- James Cloos <cloos at jhcloos.com> OpenPGP: 1024D/ED7DAEA6