3 ms·Pandoc would be my preferred tool. It is excellent at converting between other formats as well.by agedclock 1y agoPandoc would be my preferred tool. It is excellent at converting between other formats as well.