Yes, it's a feature intended to assist in future playthroughs or speedruns. Press Ctrl+Shift+D while loaded in a savefile to delete all of that savefile's pencilmarks.
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.
