> I wonder how many of those use YouTube-dl on the backend

i wager to say that the vast majority of browser extensions and websites that allow downloading of media content use ytdl in the background