```run_pause``` is the old name of the setting. It got renamed to ```replication_interval``` everywhere except in the swift-object code...