Cookies

What cookies are, and what we (don’t) use on this site.

What cookies are

Cookies are small text files that websites can store in your browser to remember preferences or support functionality.

What we use on this site

  • Analytics / advertising cookies: we do not use these on this site at present.
  • Essential cookies: this site is primarily static and does not rely on cookies for core functionality.

Server logs

Like most websites, our servers may process basic technical information (such as IP address and user-agent) for security and troubleshooting.

Changes

If we add analytics or other non-essential cookies in the future, we will update this page and implement an appropriate consent mechanism.

Last updated: 23 February 2026.