Comment 3 for bug 1203212

And I should add that the names of the files are generated using tempfile.mkstemp(…) (see http://docs.python.org/2/library/tempfile.html#tempfile.mkstemp), so we don’t have any control over the characters used to generate the filename.