I'm at the electronics store, and many customers say micro switch when they mean a small tactile switch. Sometimes they want a "small micro switch". Half of the time people mean the other switch
But usually when you see a big industrial customer asking a micro switch, it's rarely never a tactile switch