Cookie policy

This policy covers cookies used in by lib-docs sub-domain of It does not apply to any other sub-domains of or to any third party sites accessed via links on this site.


This website complies with the European Union's GDPR. Those regulations are obeyed regardless of which country you are visiting from.

The rest of this page sets out how cookies are used.

TL;DR: Only a very few persistent preferences cookies and one session cookie are used. There are no statistics, marketing or tracking cookies. All cookies are first party. If you find otherwise then something has gone wrong – please report the problem.

Cookie Usage

Persistent Cookies

This website uses the following persistent cookies:

Strictly necessary cookies

These cookies are essential for you to browse the website and use its features, such as accessing secure areas of the site. Cookies that allow web shops to hold your items in your cart while you are shopping online are an example of strictly necessary cookies. These cookies will generally be first-party session cookies. While it is not required to obtain consent for these cookies, what they do and why they are necessary should be explained to the user.

No strictly necessary cookies are used.

Preferences cookies

Also known as “functionality cookies”, these cookies allow a website to remember choices you have made in the past, like what language you prefer, what region you would like weather reports for, or what your user name and password are so you can automatically log in.

There is only one cookie in use: dd-tips--cookies-accepted. This cookie is set if the user has agreed for cookies to be used. It is used for two purposes:

  1. To record the fact that the user has so agreed. This constitutes the record of consent for the purposes of the EU's GDPR.
  2. To prevent the cookie compliance message from appearing on every page of the website!

The cookie expires after 182 days (approximately 6 months). No personally identified data is stored - the cookie's value is always 1.

Anyone who used the website before 2022-11-20 may also have other cookies set. Those cookies served a similar purpose to dd-tips--cookies-accepted. An attempt has been made to delete these older cookies, but it is possible that they will remain in place until they expire. They can be deleted via your browser's settings.

Statistics cookies

Also known as “performance cookies”, these cookies collect information about how you use a website, like which pages you visited and which links you clicked on. None of this information can be used to identify you. It is all aggregated and, therefore, anonymized. Their sole purpose is to improve website functions. This includes cookies from third-party analytics services as long as the cookies are for the exclusive use of the owner of the website visited.

No statistics cookies are used.

Marketing cookies

These cookies track your online activity to help advertisers deliver more relevant advertising or to limit how many times you see an ad. These cookies can share that information with other organizations or advertisers. These are persistent cookies and almost always of third-party provenance.

No marketing cookies are used.

There are no 3rd party cookies.

Session Cookies

Only one session cookie is ever set.

This cookie is only set if you click Reject in the cookie authorisation message. It prevents the message from re-appearing for the rest of the current session in the current browser tab. The cookie is cleared when the session ends. The cookie is named dd-tips--cookie-reject-session and has the value 1.

This cookie is essential for site usability.

Opting In or Out of Cookies

A pop-up message is displayed that permits you to opt in or out of cookies by clicking the Accept or Reject buttons, respectively.

If you reject cookies then no new cookies will be set.

If you opt in

The pop-up message is hidden when you click the Accept button. Your opt-in lasts for about six months, during which time you should not see the pop-up message again. After that time you will be asked for your consent again.

If you change your mind in the interim you can use an opt out link that appears in the footer of every page for as long as you're opted in.

If you opt out

The cookie pop-up message is hidden when you click the Reject button. The message will remain hidden until the end of your session. If you close the session then revisit the site, or open a page in a new tab, then the pop-up message will appear again. This is because a cookie has to be used to inhibit the appearance of the pop-up message but use of such cookies has been denied.


Should you find any cookies relating to this site that are not listed above then please report the problem on the site's issues page (GitHub account required).

More Info

If you want more info about cookies please visit the UK Information Commissioner's Office Cookies page. For more information about the European Union's "cookie law" see EU's Cookies, the GDPR, and the ePrivacy Directive page.

Return to home page