Mario down for maintenance

[Christian]

Mario is currently down for replacement of the power button/e-stop. It’s nearly done, but I forgot the hardware for attaching it. I’m planning to finish it up tomorrow evening.

[Christian]

The new power switch is now installed. The start button is a bit stiffer than the old one; press until it clicks.