Thread:Alex2424121/@comment-4540321-20190817134714/@comment-5091911-20190817135825

I can rename the stuff and simultaniously change all the links at the same time, but I'm not sure we should.