Category: a tracking issue for some unstable module

Category: a user asking for help

Category: A more open-ended project discussion

Category: This is a request for or implementation of a concrete enhancement

Category: This is a bug we should fix

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

Area: meta-level Iris discussions

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

Area: concerns documentation

Area: this concerns Coq eingeering questions