Hi - I didn't mean to remove that. It was done accidentally when rebasing against Anders' tree (most of our internal work was before he merged your PR). I'll push a commit shortly to fix that, and maybe another small thing or two.