Match & merge: history log for undoing a merge
Undoing a merge now appears in the history of both profiles.
When a merge is undone, the action is logged in the history of the main profile and in the detached profile. This makes it clear when and why profiles were separated.


