Cookie Settings

This site’s scripts set no cookies. They keep a few items in your browser’s local storage — your choice on this banner (and when you made it), the colour theme if you pick one, and your sign-in if you sign in on the Account page. Only the sign-in is ever sent, and only to this site.

Essential

Not cookies: your cookie choice, and the colour theme if you picked one, kept in local storage. Always on — without the first the banner would reappear on every page; the second is written only when you choose a theme. The language is in the web address and is not stored separately.

Non-essential cookies

We currently set none. This switch stays here so that if we ever add any, your choice is already recorded and respected.

Your current choice: Not chosen yet

Cookie Settings

Essential Essential only

Non-essential cookies

Essential