On 10/19/2014 03:50 PM, Magnus Manske wrote: > I vaguely remember that indexing bots (like the Google one) were > filtered out by Labs already? They were, for some time, but then I got some fairly vehement protestations that tools being unindexed by Google was a problem. -- Marc