jchristopher/duplicate-menu — pull request #2 by aubreypwd (2014-11-10 06:13:24+00:00)
Title: Nomenu

This is a tool as it does not change the appearance of the theme, but simply duplicates something that changes the appearance of the theme. More of an opinion matter, but I think it should reside in Tools.