The link you provided leads to it.
http://arduinocode.codeplex.com/releases, about half way down, 'Sketch to blink LEDs in different patterns'. This will download v4.
The link you provided leads to it.
http://arduinocode.codeplex.com/releases, about half way down, 'Sketch to blink LEDs in different patterns'. This will download v4.