On Thu, 2019-05-02 at 16:51 -0700, Martin von Zweigbergk wrote: > I've queued these mostly bases on Jordi's review. Thanks to both of you! Wait wait, I had stylistic complaints, but I couldn't get to them! Ah, well, I'll submit follow-ups. These patches are definite improvements.