Could someone with an insight into the intrinsics of the GTK2 module explain to me why e.g. GTK2.Label.set_markup() is implemented by hand in gtklabel.pre? As far as I can see, the autogenerator would have generated an identical function, except that non-ASCII strings would have actually worked...