This set of webpages is deprecated and will slowly fade into nothingness. It is currently kept alive partly out of some vague romantic notion of "archive", and mostly as a testbed and playground. It may disappear completely without further notice, or it may stay there for some time gathering dust. A very narrow subset of relevant articles has been archived elsewhere.

Do not pay too much attention to this site anymore. Thank you –the editor.