No git experience is necessary; we'll do it all by editing files in the Github GUI.
No download links available.
