Redirecting to A¹ homotopy theory