Hi, I recently installed the dev tools for GNOME development and wondered why devhelp displayed no documentation for GTK3. Apparently there is no gtk3-docs package. Is it intented to not have that package (which makes no sense as there is the gtk2-docs package)? Now that GNOME 3 moved to [extra] it would be great to have the docs at hand. Thanks.