Man kann geteilter Meinug sein, was diese "Notched Pickaxe" angeht.
Die einen sagen, dass es sich auf "Notch" bezieht.
Die anderen bringen das Argument an, dass "notched" nichts anderes heißt, als "schartig", "geschartet".
Vielleicht heißt das Teil nunmal einfach schartige Picke.