You win. It's hiding in pull request #498.