Host: https://mirror.explodie.org

User-agent: *
Disallow: /cargo-timings/
Disallow: /texts/
Disallow: /hidden/