We have for quite a while (since circa 1993) asked people to refer to /pub/Linux/ instead of the old path: /pub/OS/Linux