someone should get gwern on wikifreedia so he can relive his wiki days https://youtu.be/a42key59cZQ?si=1-KnFXFDyZi0Ac2x&t=2934