Jose Eugenio Marchesi <jemarch at fsf.eui.upm.es> writes: (The FSF will put the domain name www.es.gnu.org and www.es.fsf.org for us) And if I havn't screwed up, this should now have been done :-)