Write and publish a formal, user-facing threat model for Divvi Up. This will likely be a superset of the DAP threat model.