I recommend using the open source Pandoc utility for converting file formats. I agree, for collaborative editing, I also use Google docs. Anyway, we have seve

I recommend using the open source Pandoc utility for converting file formats. I agree, for collaborative editing, I also use Google docs. Anyway, we have several good choices.