Out of steam, got until 13/17.  Rest is HMP; hope to cover that in the
next round.  I had a few comments here and there, but nevertheless the
series feels pretty close to commit now.

Related to Pavel's work, cc'ing him.

Reply via email to