I've already noticed that. Since UM S5 and UM S3 have the same firmware/Printcore, I have already added the UM S3 (in <maschine>)to the profile, because otherwise the profile would not appear in the printer.
The strange behavior, however, is the need for renaming, which I do not understand.