Looks like @cauchy hasn't received any replies!