There are tricks that iOS Devs (including me) use to make iOS cleanup after itself, for example iOS can take its sweet time releasing memory from MKMapViews even after the controller is gone so a trick is to switch the Map Type just before the controller is released as it forces iOS to drop the cache for the current map type. So yeah, I've not used that program but I assume it's using similar tricks in OSX.