I see. That makes sense. Although maybe an option to also delete pencilmarks when deleting a save would be cool. Or just informing the player in-game about that hotkey.
