Muchas gracias por los links, ya tengo entretenimiento para una temporadita... Y sobre el Opera, últimamente estoy un poco peleado con ellos. La versión 9 deja mucho que desear en el sentido de que las mejoras "reales" son marginales, y se han dedicado a las chorradas de los widgets, el bittorrent, etc. que sinceramente no sé qué pintan en un navegador. ¡¡¡Este no es mi Opera que me lo han cambiaooooo!!!!