HPC push button mod¶

Replace the on-off laser power push button by a toggle switch, so the state is visible from afar:

This is RS-Components #741-1006 (switch) and #2508353917 (faceplate). Replace as follows:

Seen from the back, i.e. with the panel flipped up.