sorry, voting time extended until 31 dec (I forgot to announce voting here, but according to the proposal it was from 1-15 dec and 10 people have already voted). cheers, Martin