Number 1 is of course fully specified and would assume nothing. I
think in this case this is most desirable.
One resulting problem is figuring out/maintaining url's for other
licenses. But I guess that's not exactly our problem, as Paul said.
Maybe I will suggest both alternatives to rms and see what he thinks.
URLs refer to different locations.
Yes, since the idea was to refer to the generic licenses page instead of
the specific GPL page, to provide more context, etc.
Currently there is no such requirement that I know of and I would
think it undesirable to create it.
True, no such legal requirement now, although in practice I think it
would be awfully dumb to ever make gnu.org != www.gnu.org again (whether
the same or different ip's). But I suppose it's better to use
www.gnu.org nonetheless.
Thanks,
Karl
