>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at free-electrons.com> writes: Hi, Thomas> We really need to solve that problem, so I would be grateful if you Thomas> could comment on it. Peter? As discussed on irc, option 1 seems the best option until we can go for 3. -- Bye, Peter Korsgaard