菜单
redpen 收录了来自 12og3r 的 1 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。
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.