The web site has been redesigned for more clarity. Old links remain valid.
Also, it is now served via HTTPS.
