Sad day. I just discovered that my wikipedia page got deleted over Christmas. It was massively out-of-date, and featured virtually nothing of the past 10 years of my career, but I’m sad to see it go.