Hey, #retrocomputing folks. Is there a common name for this category of wedge-shaped toggle switch, as found on the PDP-11/70 and other machines of that era?