I merged in the knowledge that this didn't get done. It wasn't a blocker so was happier moving things forwards rather than holding it up.

@mdboom - hope you and the family are feeling better now.