Bad link in developer.gnome.org documentation page

[Mark Osborne <mark osborneandgoldfarb com>]

Hi folks,

I stumbled on the following bad link on page: 
https://developer.gnome.org/gtk3/stable/GtkWidget.html#GtkWidget-button-press-event

The links to GdkEventButton go to 
https://developer.gnome.org/gdk3/stable/gdk4-Event-Structures.html#GdkEventButton 
which returns 404.

Perhaps it should go to 
https://developer.gnome.org/gdk3/stable/gdk3-Event-Structures.html#GdkEventButton 
which is a valid and appropriate page.

Thank you for this great documentation.

Mark Osborne