Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
doc is just a short version of document. Also, documents is the plural form of the latter. They should all be merged.
This is has been completed. The doc and document tags have been merged in to documents and synonym has been created.