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.