Why is the LED (13) driven by an OpAmp?

In particular it keeps the pin high enough impedance to work with
external pull-ups and pull-downs.