Windowsでは、メジャーバージョン(例:2019→2020等)のアップデートに対応してないので、新規インストールする必要がある。念の為、過去のバージョンはバックアップを取っておこう。 ISOをダウンロードした。texlive2020-20200406.iso。マウントして、install-…