Add missing hypothesis

Thanks to Ofer Gabber
Reduced example of weakly associated point not in dense open

Thanks to Ofer Gabber
Add missing explanation

Thanks for Ofer Gabber
Need nonempty families of quasi-compact opens in statements and proofs

Thanks to Ofer Gabber
Add missing argument in descent ind-quasi-affines

Thanks to Ofer Gabber