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. 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.