On Sun, 2 Jul 2017 13:05:18 -0700 Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote: > Thanks for digging into this. I'm not git-enabled at the moment, is > 41386 instead of or as well as 41384? They're alternatives. The second is just slightly neater but not fundameentally different. pws