TIL Mork and Mindy takes place in the same universe as Happy Days --- https://i.imgtc.com/8ePXf9B.gif