On 11.03.2020 18:00, Greg Troxel wrote:
I think this is ready to commit, and that if there are problems they will be easy to spot, not mysterious.
Looks good to me. I'm always in favor of cleaning up the wrong documentation. Roland