Fix file extension for latex files in download script.

Author: Staacks

layouts/partials/download.html

@@ -11,7 +11,7 @@
   console.log(currentFileName)
 
   // data types NO CATCH FOR NONEXISTENT FILES; provide everything listed here with pandoc
-  const fileTypes = ["pdf", "tex", "odt", "docx"];
+  const fileTypes = ["pdf", "latex", "odt", "docx"];
 
   // dropdown-menu dynamically filled with the aforementioned list
   const fileTypeSelect = document.getElementById('fileType');