Arduino Web Radio Player

I wanted to make a simple webradio player. I found the code by Vassilis Serasidis' to be a good starting point, except I didn't have his LCD in my junk box, so I started hacking.

Once in there, I moved the radio station storage to flash memory, saved the currently playing station in EEPROM, and "fixed up" a few other things.

My code here:

Note: the Arduino/gcc people keep changing how one specifies that code goes into the flash memory, so likely you'll have to fiddle with those declarations to get the code to compile in your version of Arduino.