(#3544)  Revert configuration setting CheckpointPlatform; document existing configuration setting CHECKPOINT_PLATFORM, instead.