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.
1 year ago