Two pull requests merged this week and the most security-critical piece of the whole

project went out for review on its own. This was the week the plan from week 7 started

visibly paying off.

Two merges

On 28 July, #7654 merged — the