I don't know either, but they definitely have the sources. :)Our "Bad Apple" demo also somehow made it onto Coffin OS and i see somewhere that StarDustWarsDC is on the "Amiga Game Selector".These things will find their way sooner or later...
