Skip to content

Fix documentation links since developer.gnome.org is thoroughly changed now

Part of #785 (closed) at least for the source code repo.

Merge request reports