That appears to be the case. However, I have not removed it, for fear that it would not go back if held in place some other way.

You may well be right about fitting. Casper might be able to answer that question, since he bought an original one. Did it fit whatever rifle it was intended for, or did it require fitting? Louis reports that his replacement pin fit perfectly.