(though JavaScript JIT must be enabled)

How did they manage this? Is there a JS command to check that?

I disabled JIT/ion in my FF profiles, because js got so complex that it only speeds up the heavy webapps i avoid and has huge security concerns otherwise.