デュアルブートしているWindows 10の片側でFirefoxだけがやけに遅いなと思っていた。ネットを見るといろいろ書いてあったが、その中でプロキシの設定の話があった。 自分の環境で見てみるとFirefoxのプロキシ設定がシステムのプロキシ設定を使うになっていた…