Benchmarking PHP Markdown parsers