On Sun, 11 Feb 2001, Tom Lane wrote:
> Vince Vielhaber <vev@michvhf.com> writes:
> > [ a long list of places that might have links to documentation pages ]
>
> I think this discussion is largely pointless. We have already made a
> substantial number of changes in the filenames of various doc pages
> since 7.0 (for instance, there aren't numbers in most of 'em anymore),
> and I didn't hear anyone objecting. Asking that bookmarks not break is
> a little late at this point.
Damn, I hate it when someone comes up with even better points *sigh*
I'm for changing also ...
