Supongo que sí, que se hizo para evitar futuros problemas legales en caso de que fasttrack reclamase. De todas formas, no me queda muy claro qué es lo que está haciendo mike green... en div arena pone que ahora funciona en dos, windows, macosx, linux, html5, android... pero qué es realmente? Un IDE completo? Un compilador multiplataforma? Además pone un video de DIV corriendo en linux... pero no sé si es el DIV clásico o su nuevo DIV... no me queda claro qué es exactamente lo que está haciendo.
Sea lo que sea, será bienvenido. Aunque suelo usar otro, cuantos más divlikes, mejor.