This code : http://icodesnip.com/snippet/php/wordpress-show-custom-types-in-categories
.. achieves its purpose which is to make category page work with a custom post type, but in my case it also destroys my custom menu, that is, my custom menu is empty. I want my custom menu AND my category page to work.