Redirecting to Deligne–Lusztig theory