Re: How to run server-start only if not already running?

[Richard Stallman]

    This is for compatibility with older versions of server.el, which didn't
    do it by itself.

That's good.  Would you like to write a patch for the trunk's server.el
to provide a feature more or less like this?
The two behaviors that seem possibly desirable are to
start the second server with a different name,
or not start a second server at all.