Text this: Completion functors for Cauchy spaces