Use HTML highlighting in plugins' README.md