This statement is from 2012, though. Does it apply to later revisions of the shield? My hunch would be that since the bug has been addressed in the Arduino Ethernet, it has also been addressed in current versions of the Ethernet Shield. But I’m new to this, so I’m not sure.
In any case, I thought this might be of interest here: