If the Aliencoin community wants to, I can help fork the code from github, push out a new update which will allow us to chase the development of the coin.  I also own alienco.in domain name so we've got something that we could set up ASAP.