I was caching some goodies related to the menu, and putting it in the 'cache_menu' bin, assuming they would get cleared whenever someones edits the menu.
cache_set($cachekey, $mymenu, 'cache_menu', CACHE_TEMPORARY);
When I edit the menu, it isn't cleared. When is it cleared, then?
In what sense is it different from the cache bin?