I would kindly ask if it was possible to be less hard on Hydra’s robots.txt.
https://hydra.nixos.org/robots.txt is currently set to
User-agent: *
Disallow: /*
Which makes it impossible to find hydra by searching “Hydra NixOS”.
Perhaps a basic site-map and some allow: would at least make it more trivial to find current Hydra builders.