Well that’s too bad. I’m still running v11 on my server for the moment but even if I was running v12 or v13 I wouldn’t know what to change to make that happen. The first thing would be to know what should be changed in order to get the capacity to rename those files. I can modify the Docker settings if you provide me with the changes.