I think 2. is good. since user-specified name + timestamp will need to long file names. If a user is specifying a name prefix, he will choose a name which he can recognize easily.