https://www.tug.org/

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