How do I do a dist-upgrade? dist-upgrade is not a valid command. On Tue, Jan 11, 2022 at 5:10 AM Kai-Chuan Hsieh