On 2022-08-02 10:41, D. Hugh Redelmeier via talk wrote: > Thanks, Stewart, for asking. Thanks, Hugh, for fixing! I thought that the list might've been having a nice summer off, which it definitely deserves. Stewart