ArduinoBoardEthernet documents unidentified interrupt bridge

On https://store.arduino.cc/arduino-ethernet-rev3-without-poe under `Arduino Pins reserved` it states that pin 2 can be bridged to the W5100 interrupt.

There is no bridge point labelled on the board as shipped, but there is one on the back. The schematic shows a lead coming off the pin labelled INT, but the Eagle file doesn't show this.

I can't reconcile whether this exists or not.

Start by comparing the Arduino Ethernet Rev3 product page's “Arduino Pins reserved” statement with the board's underside, the schematic, and the Eagle file. Determine whether the INT bridge point exists on the shipped board and document the discrepancy or corrected explanation.

Written by the indexing model from the issue text.