Nella inizia destra del menu è presente una barra di caccia rapida e un elenco degli sviluppatori. –