The (very short) timer having expired, all comments having been apparently adequately responded-to, and a couple of +1s having been received, this case has timed out and is now approved. Thank you for your indulgence in the short review cycle.