Move "More *" plugins to Tools

I’d love to move these plugins from the Settings to the Tools section. I can’t seem to find the code that’s putting them under Settings, though.

Anyone know how I can do this?

http://ww.wp.xz.cn/extend/plugins/more-types
http://ww.wp.xz.cn/extend/plugins/more-fields
http://ww.wp.xz.cn/extend/plugins/more-taxonomies