what is a robots.txt file

If you own or manage a website, you may have heard of robots.txt — but do you know what it is and how it works? A robots.txt file is an…