>>716
-dでうりゃぁと。
修復方法も書いてありますが、再インストールしちゃいました。
18.04をストアで20.04にしてからdo-release-upgradeは失敗するが、
再インストールで最初から20.04ならinsider入れてないwsl1でも問題なさそう。