Formula 1 Texas GP Sprint 2023 – Was the start illegal?