User-agent: *
Disallow: /ringserver/
Disallow: /k16/htmllint/