I have been compiling clang for the last 30 minutes

Just found out this typechecks -- day ruined

I got back into Lean4 again after a short distraction, and since I was gone there were two new versions. I didn't think much of it, but then I installed the latest and -- it's super fast??? I don't think I've seen it so responsive before.