More info regarding this can be found here.Kenji 03 09:26, 15 May 2010 (UTC)
Should we change the name "infdev" to "Alpha" now?
