What is going on with DevCoin? is it still alive or is anybody doing something for this project? I remember the first days, as i come to cryptocurrencies and Devcoin was one of the first 20 Coins ever created, if i remember right. I had a bunch full of coins in my pocket years ago. I really hope this coin is coming back to live, because such a old coin deserves something better than a slowly dead. Maybe someone has some ideas for this project.