We would like to measure how people use this site, using Google Analytics. That sets cookies
and shares your IP address with Google in the United States, so we will not do it unless you
say yes. Everything on the site works either way.
Privacy notice.
