Document some of the GtkSourceFile API