现在软件下载安装都扔给Codex了，省得自己去找靠谱来源安装了。