General information about myself, this site, and other things as relevant.
Miscellaneous pages, and links to elsewhere.
CV, current professional interests, etc.
