# By default, this robots.txt allows all bots