On Sun, Mar 6, 2016 at 11:19 AM, Paul Eggert wrote: > Attached is a minor cleanup against the previous patch. I've installed this > new one too. Great! Thank you for all the help. I've pushed one additional patch to accommodate those with systems where ":" is not the PATH separator: