> GNOME's nautilus, KDE's Dolphin and even Apple's finder do it right: press f2 and you can rename the file without changing the extension, unless you go out of you way for that.
This is exactly how Windows Explorer works by default too.
This is exactly how Windows Explorer works by default too.
But you're right, and I wanted to drop the same hint. As much as I dislike the OS, I have to admit they made some improvements.