I went to look for the auto-saved replays from the two contest Rule 1 levels, and the filenames were all in the form sXXX.txt, where XXX is just a number that increments with every replay saved. The files being text files does somewhat mitigate the problem, but still - why not use the level filename, possibly with a timestamp?