Convertire files con Pandoc
Pandoc è sostanzialmente un grandissimo tool per convertire files in diversi formati.
Ne supporta davvero parecchi; è anche multi piattaforma, e quindi disponibile per Windows, macOS, e Linux.
Per quanto riguarda il pinguino, lo trovate nella maggior parte dei repo ufficiali.