Generating Vala documentation with GTK-Doc is a bit of PITA. Using Valadoc is much easier, so we are moving there.