I invoke @jonskeet on my robots.txt question. I have tried 3-4 different variants of robots.txt, and webmaster tools still says it's allowed