@jch Agreed.  Glad we're going this route; it's straightforward.

@rsanheim Thanks for the `abort` tip!