Update problem, do I press the big scary red button?

Just writing this for the visitors who will read this topic after having themselves issues with the GUI update:

  1. True, it seems more reliable nowadays, but I had enough issues with it in the past to often prefer using the command-line instead, even if it’s less straightforward.

  2. If your update from the interface didn’t work, ./launcher rebuild app from the command line is very likely going to repair it, and there’s no reason why it would result in data loss. It’s safe to use.

    Happy Discoursing!