I no longer have a personal directory here. My personal directory is now at http://London.pm.org/~robin.