Sorry -- already merged. Feel free to push edits to it yourself, if you like.