The variant knot names are included in the list with redirecting links to the most formal name. (approximately 300 knots are listed at this time)
... Americans supported Henri Giraud[?], However, at Casablanca conference[?] in June 1943 De Gaulle and Giraud were forced to reconcile and became joint presidents ...