QEDMint requires JavaScript.