Does the Domino Everyplace Enterprise come with the Domino Everyplace 6? Is it part of the Domino Everyplace 6?