Its in Google's robots.txt. Take a look for yourself. www.google.com/robots.txt Scroll the page down. Its right near the bottom.
It's interesting all the effort that companies do to change their sites/programs for one or two days.
I was just looking to see what Google allowed and denied in its robots.txt. And I spotted the halloween reference.