Remove link to dead developer-old.gnome.org
See https://discourse.gnome.org/t/retirement-of-developer-old-gnome-org/20991
./GNOME/glibmm/tools/pm/DocsParser.pm: # https://developer-old.gnome.org/gtk-doc-manual/unstable/documenting_symbols.html.en)