My guess is that the address appears that way in the original publication. The web was new then, and the other slash had not yet been deeply ingrained into the

My guess is that the address appears that way in the original publication. The web was new then, and the other slash had not yet been deeply ingrained into the culture as it is now.