This was deprecated some time ago, so finally remove it.