I noticed this as well. all of those are getting loaded on the public side for no reason.
Actually, urbn, you also have to delete it from the wp_options table or else it will still show up. I believe it is the row ct_categories_types. It is usually one of the very last rows.
for sure something that needs to be fixed.
