Text this: Univalent Enriched Categories and the Enriched Rezk Completion