Looks like @pasha888 hasn't received any replies!