My homepage has moved to http://reality.sgi.com/mjimenez.