It still compiles in 0.5s:
https://www.youtube.com/watch?v=vV-mzTDUpAI
10k+ bugs fixed, only ~40 open github issues.