Sorry I'm late with this, but this particular file is also available at https://9p.io/cm/cs/cstr/122.ps.gz I'm unsure how complete 9p.io's mirror is, but it hasn't let me down yet. khm