GNOME Do – Launcher tool to search and launch applications files and more