Found it out.
Use the undocumented dispose() method.
It would be very useful to have that in the documentation.
Use the undocumented dispose() method.
It would be very useful to have that in the documentation.