indexed though blocked by robots.txt.

Ever uploaded a fancy Do Not Enter sign for Google on your website, only to find Google sneaking in anyway?…