I stopped using the Linux start menu: This “fuzzy” launcher is so much faster



Read on How-To Geek