The Developer Tools section of the Developer Guide is a miscellaneous catch-all to document best-practices for setting up developer environments. Possible topics include editor configuration guides and guides for infrastructure such as JIRA.