The library, now held inside INTRA, is now at https://alessandroaledda.com/intra/.