¡Justo lo que buscamos! ;-)
Hace tiempo estuve leyéndome la documentación de las extensiones en Firefox y sé más o menos como se hacen. De momento lo apunto en mi lista de cosas que hacer porque ando escaso de tiempo.
