One thing I don’t know is if the full cock notch will reliably hold. It will arrive before the weekend and I’ll know then. I’m not concerned about the half cock notch. It is there and will function one way or the other. Possible it has a problem, but I doubt it.
During the operation of trying to add the half cock notch I think I figured out why the previous owner removed it. If the previous half cock notch was unreliable and pushed off, it likely was more dangerous to have a half cock notch that could be pushed off than not having one at all.
It had me stumped why someone would remove it. I think I know why now.