This page is now at https://github.com/NathanDunfield/montesinos.