Update 2013-05-26-how-to-add-comment-system-to-github-pages.md