Ok to redirect http://developer.gnome.org/doc/API/2.0/ to GNOME Library?

[Olav Vitters <olav bkor dhs org>]

GTK+ is the main user of the developer API reference with links from:
  http://www.gtk.org/api/

I want to redirect:
  http://developer.gnome.org/doc/API/2.0/
to:
  http://library.gnome.org/developer/

See for instance the GTK+ API reference on:
  http://library.gnome.org/developers/gtk/2.11/

Note: GNOME Library currently finds new tarballs every night. At one
point this will start after install-module runs (low priority right
now).

If nobody objects within a week I'll make this change.

-- 
Regards,
Olav