Unnecessary name duplication in Linux Mint menu #1 Post by bitbandit » Fri, Aug 28, 2015, 5:02 PM UTC Unnecessary name duplication in Linux Mint menuopenusability.blogspot.com