Set up nixgl?
agda and lean, plus some updates
bunch of shit with email and browsers
You can also use your local clone with git send-email.