Are tracks automatically disposed when user leaves room?

I’ve been working with the Jitsi Meet API library (many thanks to the Jitsi team, BTW!), and I’ve been wondering what kind of clean-up developers need to manage when a user leaves the room.

I noticed in the example code that tracks are detached but not disposed “onUserLeft”, which implies that the latter is handled by the lib. Is that correct? IOW, should we concern ourselves only with detaching and then removing any media elements in the DOM as needed?