Here it is, all wired up and working. The W5500 Ethernet SPI interface gets wired to the standard SPI pins on the Pro Micro module. 5V/GND for both come from the Gen3a PCB. Then the RX, RX, BusyIn, and BusyOut signals get connected to the Pro Micro from the Gen3a PCB.