nodist で久々に（！）node.js のアップデートをしようとしたら、nodistのバージョンが古かったようで、nodist最新版にごそっと入れ替え。⇒　nodist update でこんな…