Fixes #3890 I think it would be useful to have a simple tutorial for setting up saving via GitHub pages.