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!