* Changed nixc.net mirror URL
  * Added a mirror in Spain


Docs/manual.texi:
  * Changed nixc.net mirror URL
  * Added a mirror in Spain