¡Muchas Gracias por avisar! :)
En muchas ocasiones los perfiles se pueden dañar por lo que crear uno nuevo suele resolverlo.
Nos comentas si todavía te sucede algún problema :)
Exacto, el administrador de marcadores que estás utilizando no funciona de forma fluida cuando hay una gran cantidad de marcadores.
De todas formas, una vez dentro del mismo puedes hacer clic en el icono de rueda dentada (Ajustes) para poder enviar la sugerencia al equipo encargado de esa extensión.
Saludos pumkyjumky.
