The ReplicationCoordinatorExternalState interface is marked as non-inheritable outside the db/repl module. This is limiting for ReplicationCoordinator implementations that reside outside db/repl.

The request here is to change the module attribute to MONGO_MOD_OPEN