Yeah, despite the outdated name, youtube-dl supports thousands of websites, and it seems like it already supports Khan Academy:

https://ytdl-org.github.io/youtube-dl/supportedsites.html

From the description up top:

"A python script to download courses from Khan Academy using youtube-dl and beautifulsoup4."

khan-dl uses youtubr-dl under the hood

Check the readme or requirements.txt

What does it add on top of youtube-dl then? Different naming?

The distinguishing feature is:

"You can download courses interactively on a prompt, which will list all course domains and their respective courses available with tab completion."