robots.txt on www.noisebridge.net now contains """User-agent: * Disallow: /pipermail/board/""" It kind of sucks that we can't search the mailing lists anymore. Is this because of K.'s request in re a full name being public?