Since 2018-11 we use an Arduino MKR Zero with an Ethernet Shield to control the mux. This board has the pinout for the MKR Zero, and prvovides 10-pin IDC headers for ribbon-cables to the Mux-board as well as two front-panel status LEDs and two Buttons.
PDF of the Schematic, PCB, and Gerber production files can be downloaded below: