This should not get merged. I think an explicit revert before the merge would be good.