On 11/20/19 11:54 AM, Paul Eggert wrote:
> Suggested rewording?

Never mind, I installed the attached.