conoscete un tool che permette di cambiare il nome a molti file il una volta soltanto, che crei nomi random (tipo 5f5d11bd66), che lasci invariata l'estensione, e che si possa usare semplicemente selezionando i file e cliccando col tasto destro.

ne esiste 1?