On Sat, Feb 08, 2020 at 05:09:15PM -0800, John Hubbard wrote: > Got it, I've snarfed it into my series, thanks very much! Thank you! I found the current debugging inadequate, but I'd only hacked up what I needed for my own needs, and really debugging code should be useful for situations we've not encountered yet.