3 ms·As usual, "that guy" is correct :) Sorry for the over-simplification. I edited the original post.by christophe971 16y agoAs usual, "that guy" is correct :) Sorry for the over-simplification. I edited the original post.