“Happy Days” was a spin-off of “Love American Style.” They just said so on Good Morning America.