Use Michael Fortin's Markdown librry for PHP