Merging History does not appear to work correctly in Isolation mode. I wish to merge and delete sketches via the “Merge Now” button. In Isolation mode, the body associated with the sketch also gets deleted. To make it work correctly, I had to get out of Isolation mode, then do the History merge. Is this a bug?