Remove non-LaTeX file extensions (#32339)

GitOrigin-RevId: 370a27838ddc017b5b0926e47d550729d54d73aa

services/web/frontend/js/features/source-editor/languages/index.ts

@@ -8,15 +8,11 @@ export const languages = [
       'sty',
       'cls',
       'clo',
-      'bst',
       'bbl',
       'pdf_tex',
       'pdf_t',
-      'map',
       'fd',
-      'enc',
       'def',
-      'mf',
       'pgf',
       'tikz',
       'bbx',
@@ -28,7 +24,6 @@ export const languages = [
       'xmpdata',
       'Rnw',
       'rnw',
-      'lyx',
       'inc',
       'dtx',
       'hak',