Re: gnome-help-browser coredumping on me

[Mark Galassi <rosalia cygnus com>]

    Michael> Do you have installed ORBit? this means that the
    Michael> orbit-naming-server is not available on you
    Michael> system. Nevertheless i'm going to change ot so that the
    Michael> absence of an installed ORBit does not trigger a fatal
    Michael> error.

ORBit is installed, checked out with the FOR_PANEL tag, and works fine 
with the panel.

Does orbit-naming-server need to be run manually?  I notice that if I
run it manually the help browser still fails.