They should have fixed that when they went to long file names. It's ridiculous that you can't name a file with its contents' actual title. Random example: http:

They should have fixed that when they went to long file names. It's ridiculous that you can't name a file with its contents' actual title. Random example: http://doi.org/10.1145/327070.327153 http://doi.org/10.1145/327070.327153