Sorry! You're right and we have this option! In the pause menu (esc) there is "restart" option. It should let you start from the last reached checkpoint. :)
Thanks, and sorry I missed it! I guess the controls don't list "pause", which is why I didn't know that menu existed. Enjoyed the game otherwise, though!
