On Sat, Jun 27, 2020 at 5:10 AM John Cowan <xxxxxx@ccil.org> wrote:
+1.  Arthur, can you merge this?

Based on later discussion in this thread, I'm going to wait for a pull request that's approved by both authors.