My new homepage is at Github.