I think you can take this TODO out; the elements themselves will get freed by the GC.  I guess we could potentially realloc() the list storage if we delete a lot of elements...