Pamela's Merge Request: 11-11-2021

The small updates we discussed yesterday, including the one for Commercial Flight. I just went through and checked text for all examples. Somehow the references from Web Browser Formal Security were also copied into Wide Range Search for Wreckage and Survivors. I took them out of the latter, they are still there ok in the former. If there are supposed to be references for Wide Range Search for Wreckage and Survivors, I guess they will have to be added (for now I changed it to say None).