Renaming Playlist

I created a playlist. When naming it, I made a wrong keystroke, and the playlist name was saved before I finished entering it completely in the way I wanted to title it. How do I rename a playlist?

Open the Windows explorer.
Select the playlist file.
Press F2 or use the context menu function "Rename".
Enter the new name.

Or what was your problem?