おおがいとです。 12/06 の kano さんの Ports/index.html の 1.139 -> 1.142 への更新分が コミットされていないことに気付いたのですが、原文がすでに更新されています。 英語版をお持ちでしたら送ってください。