On Mon, Oct 26, 2020 at 05:50:40AM +0000, michael norman wrote: >What has any of this got to do with GIP ? Surely it is OT ? Of course it is, but nobody cares any more. Just as nobody bothers to trim out dozens of lines of quoted text for their one-line reply.