It is no longer used and if we ever re-add it, we can think of another way
to do that.