LaunchButton It is OpenSCAD script which makes "launch rocket style" button envelope for small push button. I used it to stop/start Raspberry Pi. See https://www.thingiverse.com/thing:4161424 .