Stack Exchange staff has a tool which can change a bunch of links without bumping the edited posts, see here: How to find and/or change a set of hyperlinks on a site?
In the situation that I've seen it was simply a replacement of one string by another - for example, something like replacing all occurrences of
Question. Would the same tool be able in addition to this search/replace also remove the
.html (or some other string) at the end of the URL?
I am asking in connection with this recent post: Old Links to PlanetMath have Broken. If you check it, it seems that replacing
https://planetmath.org/ and removing
.html at the end could fix the problem. At least, it worked in the instances which I tried - certainly, a bit more checking is necessary before something is actually done. (The linked post is on Mathematics Meta. There are such links also on other sites, but this particular site has more than 180 of them.)
But I thought that it would be better to ask about this in general - so that if similar situations occur in connection with some other domain, we'll know from the answer here, whether such links have to be edited manually or whether they can be converted en masse.