Fix #1652. Crew info visibility as an AGM_Parameter