Level-set percolation of the Gaussian free field on regular graphs III: giant component on expanders - Jiří Černý (2021)