I know about it not being destroyed. Thing is, the code for cleaning it up would be a hassle to write, and I don't see much point in doing so unless we make GG2 somehow unload plugins and not need to restart.