add way to access files on github in docs

as reviewed in #414 -- merging just this commit