Update TPTP and make URL set robust to moving old versions to archive