10 things we learned from the 2023 F1 Japanese Grand Prix :