
<!-- {% raw %} -->
<select id="engine"></select>

<script>
  var enginesel=document.getElementById('engine');
  enginesel.disabled=!rlallowcookies;
	var engines=[
	["LaTeX",
		["pdfLaTeX", "pdfLaTeX-dev", "LaTeX", "LaTeX-dev",
		 "LuaLaTeX", "LuaLaTeX-dev", "XeLaTeX", "XeLaTeX-dev",
         "pLaTeX", "pLaTeX-dev", "upLaTeX", "upLaTeX-dev"]],
    ["Plain TeX",
	 ["pdftex", "tex", "luatex", "xetex", "ptex", "uptex"]],
    ["ConTeXt",
      ["ConTeXt"]]
   ];
  var sel="";
  for (let g=0;g<engines.length;g++