Cookie Policy

1. What cookies are

Cookies are small text files used for website functionality.

2. Cookies used by this site

Technical cookies: required for basic operation.
Not used: profiling, marketing, analytics, third‑party cookies.

3. GitHub Pages cookies

GitHub Pages may generate technical cookies for security. They do not track users.

4. Managing cookies

Users can manage cookies through their browser settings. No consent banner is required.

Last update: 2026