Marina Vatkina wrote on 9/16/09 5:08 PM:
> I'd vote for 2a, because 2b will fail if somebody wants to check the man
> page of start-domain before attempting to start it the 1st time.
start-domain is a local command so the man page is always available locally
without the server running.