It would be helpful to be able to delete a checkpoint. Right now, there are only two options: set a checkpoint and go back to the checkpoint. I would like to be able to set a new checkpoint without having to jump back to the earlier one.