 Uma extensão simples para o GNOME Shell que utiliza o dash nativo dele. 
