Infrastructure notes

Monthly engineering notes: what we run, what broke, and what we changed. The first note lands soon — the footer form gets you on the list.