+∞ I ended up googling how to disable ligatures in CSS, went to the developer tools and hunted down where they're being enabled so I could use the website. It

+∞ I ended up googling how to disable ligatures in CSS, went to the developer tools and hunted down where they're being enabled so I could use the website. It's on the .CodeMirror pre.CodeMirror-line, .CodeMirror pre.CodeMirror-line-like rule (codemirror.css:240), you can edit it to: font-variant-ligatures: none;