Merge pull request #10501 from jordan-woyak/dolphin-tool-no-need-for-a-unique-ptr DolphinTool: Kill an unnecessary unique_ptr.