4 ms·Oh, yes. I mixed up TeX and LaTeX. And the amount of the bug bounty, too. Sorry.by mharig 4y agoOh, yes. I mixed up TeX and LaTeX. And the amount of the bug bounty, too. Sorry.