This is a little delicate since it relies on the localized `name` field.  But I've checked and all locales use the string "JSLint," and this code will go away once there's UI for enabling/disabling providers -- so I think this is ok for now.