Update costarica.txt, costarica.gif, costarica.eps: new file Docs/mirrors.texi: Update
Attach a file by drag & drop or click to upload
