May 2020 Update

とりあえず、人柱的にアップデートしてみた。

時間はかかったが、特に問題なくアップデート完了した。

今回のアップデートは、あまり大きな変更は含まれていないようでだが、使い勝手がよくなるらしい．．．

まあ、そのうちアップデートしないといけないので、先にやっておいて喪いいだろう。