https://sigrok.org/wiki/Main_Page

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