With thanks to Adam D. Barratt for making indices available again (we
used to point to a full mirror, which was removed a while back).