On Sun, Sep 20, 2020 at 10:27:42AM -0400, Greg Troxel wrote: > Totally fine to put a warning in DESCR of course. I think all 4 DESCRs > could be adjusted, from reading them. Ok, I've just updated those and retract my proposal. Thomas