hydra.gnu.org should be back up now.  Big thanks to Lisa and everyone
involved at the FSF, because it was apparently no fun!

Note that substitution will be slow at the beginning as the nginx cache
is being re-populated.

Ludo’.