https://discourse.gnome.org/t/vala-moves-from-the-base-org-gnome-sdk-to-a-separate-sdk-extension/15665