Some tweaks to the text now that we have github and a fresh design