459, 478の件
同じ氏のサイトにもちゃんと書いてあった
https://linuxmintjp.jimdo.com/%E6%9B%B4%E6%96%B0/

最初は他のDebian系に慣れているが故の記述かと思ったけどdist-upgradeを使う説明も書いてあって、
そのリスクについてちゃんと説明してないのは気になった。
他のDebian系では適当に使っていいコマンドではないと思うんだけど。