The 12th round of the 2023 Formula One season is done and dusted, taking us into the summer break....