DevDocs.com
DevDocs.net
DevDocs.org

DevDocs, short for "Developers Documents", was a name of a business
that is no longer in force. I am looking to sell this great developer's
name to the highest bidder. I also have DevDocs.net, and Devdocs.org. If
interested, contact me at boberuddy @ gmail.com