The first thing we earmarked the new investment for is doing a proper audit on the full stack - not just libolm (the e2ee ratchet implementation), but ideally a

The first thing we earmarked the new investment for is doing a proper audit on the full stack - not just libolm (the e2ee ratchet implementation), but ideally an end-to-end audit of a typical best practice setup (e.g. E2EE-enabled registration/login/msg flows for Riot Web <-> Synapse <-> Riot Web), so we can then stamp a LTS label on it. We'll want to finish sorting teething problems on the new E2EE stuff though, as well as the scaling mess on Synapse first. Sounds like Jepsen could certainly be part of that; we'll ping Aphyr when the time is right.