2020 F1 challenge R1 Austria 5 July; discussion thread