This site uses cookies to control your access to the site once you have logged in, and in order to make sure your use of the website isn't mixed up with anyone else's. They are necessary for the site's operation. The cookies are simply short, unique strings of characters stored on your computer. A matching copy is kept temporarily on the server whilst you are using the site, for comparison with the copy stored on your computer. (The server copy is deleted about half an hour after you stop using the site, and your brower's copy is deleted when you close the browser.)

In addition, statistical information about the site's use is recorded. If you are logged in, that will include an identifier. Our statistical report generation makes no use of this data, however, and it is discarded when reports are generated and the original log files deleted.

The site also produces reports through Google Analytics. We use the facilities Google provides to minimise the amount of time any personal data is kept, and again, it does not feature on any reports we use.