/robots.txt checker

We currently don't have our own /robots.txt checker, but there are some third-party tools:

• Google's robots.txt analysis tool (requires a Google Account)