> However, I had been implementing bascially the same solution myself, > and this did indeed fix the problem, so I guess it should work > (assuming no typos or the like) ... Great. Paolo, can you check it in please?