In VS Code in der Leiste unten im Fenster auf „Pretext“ klicken, oben im Fenster „Import Document“ auswählen, dann den Anleitungen folgen. Es gibt neben dem Pandoc-Konverter auch einen eingebauten, den wir nicht getestet haben. Zur Verwendung des Pandoc-Konverters muss zunächst Pandoc (pandoc.org/installing.html) installiert werden.