What is a pointed instrument for making eyelet holes in embroidery called?

stiletto — A pointed instrument for making eyelet holes in embroidery. (Webster's 1913.)

Sources