Some of those files may have been named during the days of DOS 8+3 filename limit. Better keep an old filename than break a lot of links. Also, some people who

Some of those files may have been named during the days of DOS 8+3 filename limit. Better keep an old filename than break a lot of links. Also, some people who first learned computing in the DOS era keep using shortened filenames out of habit, even if it's not always capped at 8 chars. (The site seems to have several files whose names have been abbreviated to 9 chars.)