Has anyone started playing with raspberrypi (http://www.raspberrypi.org/) yet? Is it worth picking up?