Examples of using GitHub as a source of hosting code and collaborating around documents