What is happening to the ARM based Arduino

Engadget has a review and bigger pics of the ADK 2012.

The ADK site has downloads of the IDE now, but at the moment the link for the Windows version points to the OS X version. (Edit: the link is fixed.)