On 07/28/2017 07:47 PM, Dr Eberhard Lisse wrote: > As an option, like "Compressed"?
Yes, precisely. Richard > On 2017-07-27 18:48 , Richard Heck wrote: > [... >> I'll think more about this. It's too late for 2.3, but it's something >> that could go into 2.4. >> >> Richard > [...]