Folks, Soon after offering my home page as a source of the paper Phil mentioned the other day, we had a disk go bad which led to 403 Forbidden Your client does not have permission to get URL /~jl from this server. The problem has now been fixed, so you should be able to get through. John.
