Cauchy-completion of bicategory?