Tech update 2023.06

I’m sorry this stuff took way longer than expected. Figuring out how to configure my workspace took a while (mostly figuring out how you can push to a GitHub organisation repo from your desktop, lol…). It’s still not 100% but it’s enough to finally fix these last longstanding issues!