Looks like @nurmi hasn't received any replies!