does richard osman have marfan syndrome

does richard osman have marfan syndrome