Does this count as a notch or is there a different term I wonder for such a narrow notch - shaved maybe?
Currently on Ebay if anyone is interested