Record the result of a slightly tricky debugging session so the next person gets a head start. [skip ci]