https://geekermag.com/batch-rename-files-windows-10-powerrename/