This is technical documentation, so we've resisted the temptation to track users at all. We set no cookies whatsoever on this site.
Server logs are rotated and may be used for diagnosis of faults, but are not used to track users and are not archived in the long term.
Note that though we use no cookies, first, second or third party. this site doees use fonts from Google, and that company may keep logs.