Wait until he tries to search for this file. The main "Search" field use to just filter music based on the string. But since iTunes became Music, it now shows an auto-curated screen of crap you don't want.
...and the old search is moved to Songs -> (upper right) "Show filter field". They even change the shortcut key, which is the worst part imo.
Thank you SO much for posting this- I have been missing that feature very badly, and had _no_ idea that it was still there in any form. Having it back makes using Music.app about a thousand times more tolerable!
...and the old search is moved to Songs -> (upper right) "Show filter field". They even change the shortcut key, which is the worst part imo.