Add a mirror in Mexico
mexico.txt, mexico.eps, mexico.gif:
  new file


Docs/manual.texi:
  Add a mirror in Mexico