5 ms·Google Docs replace menu with search box, welcome Alt-/ command line2 points by skardan 14y agotomby42 14y agoSeems like Ubuntu's HUD.