WIP Wednesday: 16 August 2023

The past week saw developers working on a large number of UI improvement projects, as well as quite a bit of behind-the-scenes code updating and cleanup.

PR stats: In the week from Wednesday, 9 Aug to Wednesday, 16 Aug there were 52 pull requests merged, with a total codebase change of +6,680 / ‑5,960 lines (not counting translation changes). That’s an average merged PR size of +128 / ‑115. We closed 43 Issues, and 21 new Issues were opened.