`Range.detach()` is a no-op these days.