Removed in 13dc64c . Sorry, I deleted my repo by accident and hadn't pushed everything yet, so I had to restore (and merge) the state by hand.