Dead link in the online documentation of gtk_window-_et_gravity
https://developer.gnome.org/gtk3/stable/GtkWindow.html#gtk-window-set-gravity contains a link to GdkGravity in the fuction signature. Clicking the link forwards to the non-existing https://developer.gnome.org/gdk4/GdkSurface.html#GdkGravity.