[hamilton 11/16/95] This bug is fixed and verified, AND CLOSED to get it off
our list. But, Closed because doesn't offer any reasonable choices (Fixed verified
and Fixed unverified are grayed out), so I chose not a bug.


The default file to be viewed if none is specified on the command
line or in the environment is listed as

file://~/demo

I believe the default is now:

doc:///index.html