Is this hack credible for resetting the Leonardo's ethernet chip?

What other source could drive pin RSTN? According to the (correct!) schematic, it's only connected to +3.3V via one 10k resistor (RN8B). There are no other connections. I’ve confirmed this by multi-meter. There is a direct short between the high side of RN8B and the +3.3V header pin.