HUGE THANK YOU to the dev's, who closed the memory leak!

[AlexS]

This leak plagued me for more than half a year. I have a limited amount of RAM and my ‘disk‘ is always almost full, so the leak was a real problem for me. I disabled all my add-ons one by one and went through all of my user-scripts trying to find a leak there - to no avail. Once again, thank you, your work is very much appreciated here!