User-agent: *
Disallow: /index.php
Disallow: /User:

User-agent: Fasterfox
Disallow: /