Corresponding Playlists in the Playlist Editor & Playlist Directory, Not Deleting As Expected

[touwys]

listFix_2.5.1-19

This could be an erroneous observation:

As soon as a playlist is deleted from the Playlist Directory, it is not simultaneously removed from the Playlist Editor. While the reverse action is not possible (for good reason), does the undeleted playlist, which stays behind in the Editor after deleting the corresponding one from the Directory, serve any further purpose?