Rework coi-with-popups explainer to match recent discussions.

[hemeryar]

Changed:

• Removed already spec'd concrete vs logical
• Removed references to BC's coi mode, and referenced agent clusters instead. Also added notes about having to do inheritance explicitely.
• Added extra threats discovered and linked the spreadsheet.
• Added privacy concerns from Anne and our position