The thing is, even though it may have happened by accident, that accident is a part of the history of the film, since this particular damage was most likely on the original negative, so it's not that easy. It's like 99,9% of dirt in Puggo Grande is specific to that print but these burnmarks are something that all the prints had in common.
Don't get me wrong, I'm not saying I definitely will restore them, I'm just trying to explain why I'm even considering it.