I just mistyped the name of the show “Ted Lasso” as … Tex Lasso. Now I need to know what that show is about.