On 23/01/17 13:41, Jakub Jelinek wrote: > On Mon, Jan 23, 2017 at 04:51:44AM -0800, Per Bothner wrote:
>> The last part is moot, as we should strive to not move pages and thus break >> links. > > I meant updating URLs in the pages when they refer to external web pages > which move over time (or switch from http to https, or disappear, etc.). > Gerald > does a great job handling that, but if there are too many pages for > historical purpose only, it will make his work harder. We can redirect to somewhere else. Andrew.
