How much current can digital pins source/sink on Stellaris Launchpad - Error in Energia Documentation?

[igor 163]

In the energia tutorial it says that 

"LaunchPad pins can source (provide positive current) or sink (provide negative current) up to 40 mA (milliamps) of current to other devices/circuits. "

 

http://energia.nu/Tutorial_DigitalPins.html

 

Is that correct for the Stellaris Launchpad?  In the documentation for the LM4F120 it gives drive strength options of 2, 4, or 8 mA, and says up to 4 pins can sink 18 mA.

Where does the 40mA come from?

 

Can the MSP430 source/sink that much?

 

I note that the Arduino documentation says the same 40mA, so wondered if this specification was accidentally copied from there.