Antes tenía una extensión que ocultaba la barra de herramientas por completo (que instalé desde un sitio web, fuera del mercado de extensiones) dando un aspecto minimalista, pero de repente se eliminó de mi Safari por alguna razón, y no puedo volver a encontrarla en Google.
Por suerte tenía una captura de pantalla de la extensión en funcionamiento:
¿Alguien sabe cómo se llamaba esta extensión, y probablemente por qué se eliminó sin previo aviso?
