Hola,
Pues así es la verdad. Habría jurado que probé a navegar con Pico luego de haber hecho doble clic... y de ahí que dijese que no funcionaba (en mi sistema), pero, compruebo ahora que sí, que al hacer doble clic Pico se ejecuta como se espera.
Efectivamente, al hacer de nuevo doble clic Pico no se ejecuta (terminará con error, pero este no se muestra) y al intentar ejecutar Pico de nuevo (esta vez desde la consola) aparece el error que mencionas Seoane.
O sea. Que bien.
