@Gargron OK, re-posting a sufficiently old link does actually work now. Hooray!