We’re finally finished removing jQuery from GitHub.com's frontend. What did we replace it with? No framework whatsoever...