https://specy.app/blog/posts/a-rustc-soundness-bug-in-the-wild

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