User-agent: *
Disallow: /extensions/mapsources/
Disallow: /mana.html