Век живи

С удивлением обнаружил, что если в виндоус эксплорере выделить несколько файлов (с разными расширениями), нажать F2 и ввести имя не трогая расширения, то переименуются все выделенные файлы.