Fargues's conjecture, 10 years on