06:10
<ljharb>
i'm gonna sneak in a Meta: commit to the PR i'm about to land to fix the IPR script; some previous contrib deleted their github