How to Batch Change File Extensions in Windows 10 by Michael Allison #how, How-To, tip, Windows, Windows 10