2023-10-06, 08:59 PM
That worked and I will now write a small python script to rename everything.
I also created a pullrequest on GitHub and added as section about file extensions on the documentary page for music, so others are spared the search for a solution.
I also created a pullrequest on GitHub and added as section about file extensions on the documentary page for music, so others are spared the search for a solution.