Change 'spidermonkey-only API' to 'non-standard API'