Microsoft Windows 10 ver. 1903が降ってきたので更新した．今のところ，問題は無いようだ…