Change the extension of the documentation files from .txt to .md so that they can processed as markdown and displayed in github.