You were right, and this comment stuck with me so I have decided to go ahead and implement it.

Every course now has a "work in your own editor" mode: you can download a zip with the starter code for every lesson plus a run_tests.sh that runs the full test suite locally. After that, you can push it to a public GitHub repo, we will judge it based on our grading system and internal tests

I respect your opinion too.