CORBA24 — ORB shutdown vs destroy

CORBA2.3.1 section 4.11.5 destroy() has following information.

Once an ORB is destroyed, another call to ORB_init with same ORBid will
return a reference to a newly constructed ORB.

My assumption here is if I call shutdown() on an ORB followed by
ORB_init() with the same ORBid as of the shutdown ORB, I get the same
ORB back. Essentially, we can not get rid of that ORB until destroy() is
called. Is this a valid assumption? If so, can we add a sentence to that
effect to shutdown() section?

Incorporate changes and close issue