Oh, props to you then. You streamlined the whole “what’s that song” process then.
All tools I know support downloading mp3 or ogg directly. You could streamline your process there a bit.
It’s a phase. Be calm and thoughtful about his fears (even if it’s horribly exhausting at times) and it will go over. That’s how he’ll learn ‘to solve these problems on his own’. He’s too young to get over his fears on his own and needs his parent’s input to learn that there’s nothing to fear in the dark.
That’s a dense cookie!