This program allows you to take a file and change the extension. It asks for the input. E.g: As A .txt format

Based off the information provided by Reddit user u/niemarek22