Documentation for progressing after a checkpoint plus small fix to PlayState.ts