F1 champion's unwanted record as Jos Verstappen replaced - five things you may have missed from Austrian GP Qualifying