I am unsure about the renaming. Could you ask on the web mailing list what they think might be the best option?
Thank you very much for your help.
Hej @fbn_bmns, I am very sorry that it takes so long to merge this PR. As we currently have no reasonable solution how about we separate the PRs? We could delete those old articles from this PR and create a new one for them? I know this is not the best solution but changing the names of those old articles might also break some links.