Guys I was browsing the devcoin.org website and I found that it hasn't been updated in a while. I found in the FAQ, for example, that Vircurex and Cryptsy are listed in there.
I really don't know who is in charge of that, but we need to update the information in there.
Thank you!
devcoin.org has the same IP address as devtome.com
I was told that jasinlee owns devtome.com so I assume jasinlee also owns devcoin.org
Over the weekend I moved the hosting of devtome.com and devcoin.org.
My thanks to jasinlee and markm for their trust and the access provided to facilitate the move.