doc: update GUI editing instructions

Now that the xrced launcher is more clever, there is less things to do :-)