I guess it's fixed now. Deep copy, always deep copy...

`shared_ptr` stays - an attempt to de-share-ize it failed for some
reason (I should probably investigate, but maybe not today...).