i was just reading about it, and it says there should be an option to download the source files as a zip

in a video i saw it looked like the button is in the top right corner, next to the open in new tab button