Renamed "super2" to "super", as it is now the default super plugin. Renamed original super plugin to "super-nonstrict".