Paul Wilhelm Elsinghorst writes: > +Elsinghorst, Paul Wilhelm <paul at uni-bonn.de> BTW, if you are doing an update of your patch anyway, you could add your IRC nick here if you want. Diego