PHP: Markdown benchmarks (+ CLI tools)