Looks like @nurmi hasn't received any replies yet!