[TESTING] Kodi 17 (Krypton) builds for Raspberry Pi (continued)

Having upgraded to Krypton via this thread [TESTING] Kodi 17 (Krypton) Beta Builds for all platforms do I need do anything other than usual sudo apt-get update && sudo apt-get dist-upgrade ?

As although I’m on kodi 17 when I run the command nothing is available or should it be done within Kodi?

There seems a lot more commands at the top of this thread than I ever ran…:astonished: