Thanks to Sudarshan S. Chawathe for a fix to a typo in the link to the implementation, now published.  (The change was small enough that I have not marked this as a new draft.)