Edited tools_to_convert_pdf_to_txt_files: created