Cookies
Cookie policy
Last updated: 21 July 2026
What are cookies?
Cookies are small text files placed on your device when you visit a website. They can be used to make a site work, to remember preferences, or to measure audience and display advertising.
Cookies used on this website
This website is a simple informational site. It does not use analytics, advertising, tracking or profiling cookies, and it does not set any non-essential cookies. Because no non-essential cookies are used, no cookie-consent banner is required.
Third-party resources
The typefaces used on this website are self-hosted (served directly from this website), so no font files are requested from third parties such as Google Fonts and no data is transmitted to them. See our Privacy policy for details.
| Service | Purpose | Cookies? |
|---|---|---|
| GitHub Pages (hosting) | Delivering the website securely | No cookies; technical logs only |
Managing cookies
You can control and delete cookies through your browser settings at any time. Most browsers let you block cookies or alert you when a cookie is being set. Instructions are available in the help section of your browser (Chrome, Firefox, Safari, Edge, etc.).
Changes to this policy
We may update this policy if our use of cookies changes. The date at the top of this page indicates the latest revision.