bugzilla.gimp.org points to the same site as bugs.gimp.org manual.gimp.org is not really used anymore