PAUSE users who ++ed JavaScript-SpiderMonkey