This site uses cookies to enable user login sessions, and there is a small cookie called “has_js” that is used to keep a quick record of whether the visitor’s web browser has JavaScript enabled.

The site does not use any tracking cookies, and you may disable all cookies when browsing this site without any effect other than not being able to log in.