TIL that Mork was apparently a Happy days spinoff ? :-o