After trying to find a YouTube downloader that would actually complete it's given task of converting a single rare piece of music into an mp3, I tried this by uepselon.

Success finally, after at least a dozen failed add ons, and a donation to them on it's way.

Thank you so very much.