After I do a compact -B on one domino server (I want to reduce file size), should I manually compact the mail files on the other servers in the cluster as well?