It is correct what you wrote, BUT if you make a rest file for SEFP (*), then you can flash that instead of entire MAIN, and you will not loose any patch.
Great to know! So can I use XS++ and flash the rest file instead of main, or do I have to use SETool2 to do that (load the rest file in the Restoration line)