Ah phew, it’s back now (with the same contents/hashes as before).
(Alongside, for the first time, an official FP5 A15 build – maybe the appearance of that is what caused the glitch – but I’m still avoiding A15 until I know whether it has a problem with the fingerprint sensor.)