link to github repo & php-markdown library