# An empty robots.txt file.