Do you really want to send /dev/joe a message saying you like their work?
A button on either side of a pinball machine used for flipping the flipper(s) on that side of the game. Some games have additional buttons similar to flipper buttons used for controlling other special features.