Unnecessary name duplication in Linux Mint menuopenusability.blogspot.com1 point·bitbandit··0 commentsOpen articleSaveView on HN