昨日10.3.2にした。ブラウザがほんの少し9.3.2よりもたつく気がするけど、気のせいかも知れない。