The manual is used by one of the fourth biggest airlines in the US.