User-agent: *
Allow: /~dierckx/
Allow: /~rdeborman/
Disallow: /