https://www.usa.gov/robots.txt

Cookies are small text files stored on a user's device, often used to remember user preferences and enable personalized experiences