have a big industrial-style push button act as a one-key USB keyboard. He could have hacked something together in any number of ways, but instead he decided to create a truly elegant solution.

They would make a great USB ... keyboard. [rampadc] has a few of the expansion boards available over on Tindie should you want to build your own. It’s only cost-effective if you have one ...