Wenn man mehrere Dateien in Dolphin markiert und F2 drückt (Umbenennen), dann bietet es einem an alle Dateien nummeriert umzubennen –

Nice :)

Ist bestimmt schon seit Jahren drin, habs aber noch nie bemerkt.