17:42 anholt: imirkin: so, the 512 pushbuf thing. CI logs have us failing at 511 pushes. do we need to be pushing earlier?