12og3r

Configure the redpen-codex plugin (language + native-style hint). Invoke when the user wants to change which language they are practising or whether the native-style hint shows. Writes ~/.codex/redpen.config.