Thanks for the tip! I usually guess this command to be available in a text based UI and represent a search, but it's presence in a menu list UI like Spotify and it's function as a filter is a complete surprise.
On mobile, searching inside playlists recently turned into an option in the three-dot menu on the display page. I miss the old interface where you just drag down to expose a search field, focus it and start typing. :(
I still have that on iOS? Never noticed it going away and it’s still there for me. That feature really did take way too long for me to realize although.
