@tao@mathstodon.xyz Thank you. Amazed and also very moved to see the name of Pierre Deligne there - my PhD evolved around various properties of Deligne-Lusztig varieties.