User-agent: *
Disallow: /mushref/
Allow: /