User-agent: * Disallow: /mailman/dktug Disallow: /pipermail/dk-tug