Save result list from SmartPlaylist as normal playlist

Yes, finally, after ten years, I have found out how to save the result list from SmartPlaylist as a normal (non-smart) playlist in Music. There, you can rename it, play it, reorder titles, edit it, sync it, delete it.

You will get this feature with v13.2, in the list view options (upper right corner).

Each time you tap "Save as Music playlist" a new playlist is created with the (same) name (e.g.) "SmartPlaylist X - Name of your list" and description "Created: date/time".

iOS 10 Music app and iTunes syncing woes

It seems to get worse and worse ...

With the latest iTunes 12.5.3 not all lyrics (which now are marked as "custom lyrics") are synced to the iPhone. Many are, some are not ...

Some songs spontaneously got the lyrics "{{instrumental}}" ... ??? ...

Un-ticking a song used to delete it from the iPhone with the next sync (with the corresponding option set to true) -- but that does not happen any more, all songs seem to stay on the device ...

(I do not use Apple Music, nor iTunes Match)