A remake of “Happy Days” would be set in the 2000s.