CVS servers can be configured with relatively sane defaults, or the
issue can be dealt with from the command line. This command was taking
up menu and toolbar space for the benefit of a single, increasingly
unused version control system.