Area: meta-level Iris discussions

Area: concerns the theory of Iris (and not just the Coq library)

Topic: Bugs related to the proofmode and our tactic support in general

Topic: concerns the Iris program logic

Topic: concerns logical atomicity

Topic: this concerns specifically linear (non-affine) insteances of the proofmode

Area: Concerns our CI and perf tracking infrastructure as well as general project setup

Area: concerns documentation

Area: this concerns Coq eingeering questions

Impact: this is related to performance concerns