Fred Rogers hid a geeky musical inside joke in his theme song.