ok, I see. So one still has to edit every formula by hand. I was hoping to find something automatic, especially for text with lots of in-line formulas.
I just wrote a feature request for smart pasting to allow user-defined regexps and callbacks to be run during paste for capturing google maps links, but now I realize that this would also make it easy to recognize Wikipedia math and turn it into proper Markdown.