Rename tools.txt to internal_doc/tools.txt