It looks like the emshort repositories for the files is down or something. In any case, I’ve tried another couple of downloads but even the simplest “story” won’t compile.
Is there a mirror of the official files somewhere or should I wait because the official downloads will soon be back.
You can find extensions for 9.3 at Friends of I7 Extensions for v9.3 . They’re not the same as the ones in the public library, but in general that’s a good thing because they’re more recent versions (and many aren’t in the public library).