On Wed, 3 Jun 2020, at 20:35, Jeremy Nicoll wrote: > This is another example of a totally useless statement. > > NOBODY HERE IS CLAIRVOYANT. Some of us might be. ;-) Let's keep the mailing list light, and spare the shift key. Thomas