Comment on Why do older files tend to have file extensions in all caps?