On Mon, Jan 23, 2017 at 04:51:44AM -0800, Per Bothner wrote:
> On 01/23/2017 01:05 AM, Jakub Jelinek wrote:
> > On Mon, Jan 23, 2017 at 09:01:24AM +0000, Andrew Haley wrote:
> > > On 22/01/17 18:41, Per Bothner wrote:
> > > > In my opinion, all/most of these should be restored.
> > >
> > > Because of the historical interest? That's a good point, and perhaps
> > > I was too hasty. Sorry.
> >
> > But then it should be probably moved somewhere where Gerald won't have to
> > spent time maintaining those pages (verification of URLs in there, updating
> > them when they are moved etc.).
>
> 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.
Jakub
