John MacFarlane a274e15f0d Markdown reader: Avoid parsing raw tex unless \ + letter seen. ... This seems to help with the performance problem, #4216.		2017-12-30 23:33:03 -08:00
..
Text	Markdown reader: Avoid parsing raw tex unless \ + letter seen.	2017-12-30 23:33:03 -08:00