DOC: headings in docs/tools.rst