Text this: Kan Extensions in Enriched Category Theory