Use Download button (on the right side of this page) to download. If you use right click on each file to save, you'll get an HTML file. This is a more practical (just for me) modification of well ...
To download all scripts, use the "Download ZIP" button above. To download a script, click on the script name in the list. The page of the code will open. Right click on the "Raw" button, and then ...