Unnecessary name duplication in Linux Mint menu(openusability.blogspot.com)

http://openusability.blogspot.com/2015/08/un-necessary-name-duplication-in-linux.html