Comment by BrendanEich

We never, as in not ever, offered crypto mining in the browser.