# empty robots.txt; feel free to spider everything, friendly bots :-)