A “proper” mirror alongside archive.org would be good too