The following products are used in the maintenance of the documentation:
This is the authoring language that is used while write individual topics.
This is the document production toolkit. It is used to create documents that include the topics written in reStructuredText.
The documentation sources are held in git.
This is the plug-in that supports the maintenance and production of documents in Eclipse.