Why is `Clear()` necessary here? isn't `Dispose()` enough to let the GC take it over, wouldn't `Clear()` only be necessary if we cared about the *Empty* status of the handle?